References
The following web pages by Claude Sammut give an introduction to Prolog and the iprolog implementation that is
available on the school system and the home computing disk
The following have been placed on open reserve in the Library:
- SOLUTIONS TO DESIGNATED EXERCISES in Huth and Ryan, Logic in Computer Science
(Ch1 and Ch2 only).
- Programming in Prolog, W.F. Clocksin and C.S. Mellish
- Prolog Programming in Depth, Michael A. Covington, Donald Nute, and Andre Vellino
(Prentice-Hall, 1997)
Sample programs from this book are here
Information about XSB:
Lewis Carrol's Logic Problems
Suggestions or bugs report to cs2411@cse.unsw.edu.au
Last Modified: 28 Feb 2000