How to enter and quit B-Prolog

Just like most Prolog systems, B-Prolog offers you an interactive programming environment for compiling, loading, debugging and running programs. To enter the system, open a command window ^1.1 and type the command:

      bp

After the system is started, it responds with the prompt |?- and is ready to accept Prolog queries. The command help shows part of the commands that the system accepts.

      help

To quit the system, use the query:

      halt

or simply enter ^D (control-D) when the cursor is located at the beginning of an empty line.