/prog-tabled-prolog

This is the book Programming in Tabled Prolog by Dr. David Warren

Primary LanguageTeX

Programming in Tabled Prolog

by Dr. David S. Warren, https://www3.cs.stonybrook.edu/~warren/

warren at cs.stonybrook.edu

These are the latex source files for a draft of a book describing Logic Programming with the XSB Tabled Prolog System. They are maintained in github.

to compile do: latex book % to create .dvi dvipdfm book % to convert .dvi to .pdf