by Dr. David S. Warren, https://www3.cs.stonybrook.edu/~warren/
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