The XSB System Version 2.5 Volume 1: Programmer's Manual

Abstract

this document |intended tobe the user manual| reects the current status (Version 2.2) of our system. While we have takengreat eort to create a robust and ecient system, we would like to emphasize that XSB is also aresearch system and is to some degree experimental. When the research features of XSB | tabling,HiLog, and Indexing Techniques | are discussed in