Prolog resources for CMSC 771
Learning Prolog
There are many books on Prolog and logic programming. A good, reliable
text is Programming in Prolog by Clocksin and Mellish.
There are quite a few tutorials on Prolog online, some quite good:
- Learn
Prolog Now is an online book on prolog developed at the University
of Saarlandes.
- James Powers has a nice set of Prolog
tutorials that cover the basics.
- Amzi offersa tutorial Adverntures
in Prolog and some other tutprials.
- Prolog
Programming A First Course, Paul Brna. The course for which these
notes are designed is intended for undergraduate students who have
some programming experience and may even have written a few programs
in Prolog. They are not assumed to have had any formal course in either
propositional or predicate logic. A gzip'd
pdf version of the book is available.
On line resources
Prolog systems
- Google's web directory has a page which lists many Prolog
implementations.
- Sicstus Prolog is
a very good implmentation of standard prolog. It's not free, however.
- Java Internet Prolog
is a free Prolog Java-compatible interpreter. JDK1.1- and Edinburgh
Prolog-compliant this Prolog version allows code written in Prolog
to be run in any Java applet or application and Java methods to be
called in any Prolog code.
- XSB is an interesting
Prolog dialect that supports some advanced features like tabled resolution,
well founded semantics, and higher-order functions
Sample Code
|