Search the FAQ Archives

3 - A - B - C - D - E - F - G - H - I - J - K - L - M
N - O - P - Q - R - S - T - U - V - W - X - Y - Z
faqs.org - Internet FAQ Archives

FAQ: Scheme Frequently Asked Questions 1/2 [Monthly posting]
Section - [1-12] Where can I get an implementation of Prolog in Scheme?

( Part1 - Part2 - Single Page )
[ Usenet FAQs | Web FAQs | Documents | RFC Index | Counties ]


Top Document: FAQ: Scheme Frequently Asked Questions 1/2 [Monthly posting]
Previous Document: [1-11] Formatting code in LaTeX
Next Document: [1-13] What does SICP, SCOOPS, R4RS, CAR, CDR, ... mean?
See reader questions & answers on this topic! - Help others by sharing your knowledge

   Prolog in Scheme is a collection of macros that expand syntax for
   clauses, elations, and so on. It is written in Scheme and has support
   for delayed goals and interval arithmetic. It is known to run in Chez
   Scheme and in Elk, and is intended to be portable to other Scheme
   implementations. It relies on continuations, and so is not easily
   ported to Common Lisp. Available from the University of Calgary by
   anonymous ftp from
      ftp.cpsc.ucalgary.ca:/pub/projects/prolog1.2/prolog12.tar.Z
   Questions and comments may be addressed to Alan Dewar
   <dewar@cpsc.ucalgary.ca> or John Cleary <jcleary@waikato.ac.nz>.

   Schelog is an embedding of Prolog in Scheme. It represents Prolog
   goals as procedures in Scheme, and includes macros to simulate a
   Prolog-style syntax for clauses, relations and queries.  The embedding
   permits the user to combine Prolog and Scheme code freely, in the same
   s-expression, if desired.  Documentation and examples are included.
   Schelog should run in any R4RS Scheme, has been tested in SCM and Chez
   Scheme, and will run in any Scheme implementation that supports SLIB (see
   entry in [1-10] above).  Schelog (version 2) is available by anonymous
   ftp from titan.cs.rice.edu:/public/dorai/schelog2.tar.Z.  Its use of
   higher-order continuations is probably a major obstacle to porting it
   to Common Lisp.  For more information, please contact the author Dorai
   Sitaram <dorai@cs.rice.edu>.

User Contributions:

Comment about this article, ask questions, or add new information about this topic:

CAPTCHA




Top Document: FAQ: Scheme Frequently Asked Questions 1/2 [Monthly posting]
Previous Document: [1-11] Formatting code in LaTeX
Next Document: [1-13] What does SICP, SCOOPS, R4RS, CAR, CDR, ... mean?

Part1 - Part2 - Single Page

[ Usenet FAQs | Web FAQs | Documents | RFC Index ]

Send corrections/additions to the FAQ Maintainer:
ai+lisp-faq@cs.cmu.edu





Last Update March 27 2014 @ 02:12 PM