After the system has been installed, the emulator's executable code appears in the file:
$XSB_DIR/bin/xsb
If, after being built, XSB is later installed at a central location,
$SHARED_XSB, the emulators executable code appears in
$SHARED_XSB/bin/xsb
Either of these commands invokes XSB's top level interpreter which is
the most common way of using XSB.
Version 3.0 of XSB can also directly execute object code files from the command line interface. Suppose you have a top-level routine go in a file foo.P that you would like to run from the UNIX or Windows command line. As long as foo.P contains a directive :- go., and foo has been compiled to an object file (foo.xwam), then
$XSB_DIR/bin/xsb -B foo.xwam
will execute go, loading the appropriate files as
needed 3.1.
In fact the command
$XSB_DIR/bin/xsb is equivalent to the command:
$XSB_DIR/bin/xsb -B $XSB_DIR/syslib/loader.xwam
There are several ways to exit XSB. A user may issue the
command halt. or end_of_file., or simply type
CTRL-d at the XSB prompt. To interrupt XSB
while it is executing a query, strike CTRL-c.