bp {File |-Name Value}*
An argument can be the name of a binary file to be loaded into the system or a parameter name followed by a value. The following parameters are supported:
bp -g ``writeln(hello)''
If the goal is made up of several subgoals, then it must be enclosed in a pair of double quotation marks. Example:
bp -g ``set_prolog_flag(singleton,off),cl(myFile),go''
The predicate $bp_top_level starts the B-Prolog interpreter. You can have something done before starting the interpreter. Example:
bp -g ``consult(myFile),$bp_top_level''
Neng-Fa Zhou 2012-01-03