The System and its Directories

The XSB system, when installed, resides in a single directory that contains several subdirectories. For completeness, we review the information in all subdirectories.

1. bin contains scripts which call XSB executables for various configurations.
2. build contains XSB configuration scripts. You must already be familiar with the build directory, which is what you must have used to build XSB.
3. config contains executables and other files specific to particular configurations.
4. docs contains the user manuals and other documentation, including the technical documentation manual for developers.
5. emu contains the C source code for the XSB emulator, for I/O and for various interfaces.
6. etc contains miscellaneous files used by XSB.
7. examples contains some basic examples for Prolog, tabling, and HiLog.
8. cmplib contains Prolog source and object code for the compiler.
9. gpp contains a copy of the Gnu pre-processor used to preprocess Prolog files.
10. lib contains Prolog source and object code for extended libraries.
11. packages The directory packages contains the various applications, such as FLORA, the XMC model checker and many others. These applications are written in XSB and can be quite useful, but are not part of the XSB system per se.
12. Prolog_includes contains include files for the Prolog libraries, which are preprocessed using GPP.
13. syslib contains Prolog source and object code for core XSB libraries.

Normally, only the documentation and files in the Prolog subdirectories, particularly examples, lib, and packages will be of interest to users. All Prolog source programs are written in XSB, and all object (byte code) files contain SLG-WAM instructions that can be executed by the emulator. These byte-coded instructions are machine-independent, so usually no installation procedure is needed for the byte code files.