Next: 3. System Description Up: 2. Getting Started with Previous: 2.5 Sample XSB Programs Contents Index

2.6 Exiting XSB

If you want to exit XSB, issue the command halt. or simply type CTRL-d at the XSB prompt. To exit XSB while it is executing queries, strike CTRL-c a number of times.

Terrance Swift 2007-10-05