next up previous contents index
Next: Entering and Exiting XSB Up: The XSB System Version Previous: Exiting XSB   Contents   Index


System Description

Throughout this chapter, we use $XSB_DIR to refer to the directory in which XSB was installed.



Subsections

Luis Fernando P. de Castro 2003-06-27