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. Users can perform other operations before starting the interpreter. Example:
bp -g "consult(myFile),$bp_top_level"
Neng-Fa Zhou 2013-01-25