Prolog Meetings

(C) 2020 by Damir Cavar, …

This is a basic Prolog language proficiency improvement and tutorial repo for the dicussion group at Indiana University at Bloomington. Feel free to use the code examples in a way compatible with the Apache License Version 2.0 as specified in the accompanied LICENSE file.

Tutorials

See for some tutorials:

• SWI Prolog (see Tutorial Menu)
• The Franz Inc. Allegro Prolog documentation

Resources

You can use some of these Prolog environments:

• SWI Prolog
• Allegro Common Lisp (and Allegro Prolog)

Jupyter Notebook

To use the Jupyter Notebooks you might have to install Python and Jupyter, and in addition a Prolog kernel:

• Calysto Prolog Jupyter kernel

Literature

You will find this book on IUCAT (or elsewhere):

• Ivan Bratko (2011) Prolog Programming for Artificial Intelligence. Pearson Education Canada. (4th edition)
• William F. Clocksin (2003) Programming in Prolog: Using The ISO Standard. Springer. (5th edition)
• Max Bramer (2013) Logic Programming with Prolog. Springer. (2nd edition)

For the Common Lisp implementation of Allegro Prolog:

• Peter Norvig (1992) Paradigms of Artificial Intelligence Programming: Case Studies in Common Lisp. Elsevier. (GitHub repo with code)