XSB Manuals
Volume 1
: Programmer's manual
Volume 2
: Libraries, Interfaces, and Packages