3.2 The System and its Directories

When installed, The XSB system resides in a single directory that contains several subdirectories. For completeness, we review the information in all subdirectories. Normally, only the documentation and files in the Prolog subdirectories, particularly examples, lib, and packages will be of interest to users.

1. bin contains scripts that call XSB executables for various configurations.
2. build contains XSB configuration scripts. You may already be familiar with the build directory, which is 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 examples for Prolog, tabling, HiLog and various interfaces.
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.

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.