To run a prolog program on Strauss, execute the program 

                                   bp
If that doesn't work, try /opt/bin/bp

To get out of BinProlog, execute the command

                                  halt.

Be sure to include the period, since all commands to BinProlog must end in
a period.

It is best to type the axioms you want to use in a file with a file name

                               filename.pl

and load the file into BinProlog with the command

                               [filename].

It is important that all the facts and rules for a given predicate be
listed consecutively in your file.  BinProlog expects them that way for
efficient compilation.

Once the axioms have been loaded, the ?- prompt will appear and you can
type your query.  This will be one or more atomic formulas, separated by
commas, and ending with a period.  When you press the Enter key, BinProlog
will attempt to prove that that conjunction of atomic formulas can be made true.
If they contain only constant terms and it succeeds, it will say yes.  If they
contain variables and it succeeds, it will display an assignment of values to
those variables that will make the formulas true and wait for a command from
you.  If you want to see another answer (assignment that will make the formulas
true), type ; and then press Enter.  If you don't want more answers, just press
Enter.

You can jump out of BinProlog with Control-Z, edit your file of axioms, return
to BinPRolog with fg, and reload your axioms with the [filename]. command.

You can trace Prolog programs if they are interpreted instead of compiled.
Use reconsult(filename). instead of [filename]. to have the axioms interpreted.
Then the command listing. will work and list all the uncompiled axioms in
memory.  (The listing. command won't work if no uncompiled axioms have been
loaded.)  If you want to trace a query consisting of more than one literal,
enclose the literals in parentheses. Examples:

               ?- trace(detest(X)).   % traces the query ?- detest(X).

    ?- trace((animal(X),detest(X))).  % traces the query ?- animal(X),detest(X).

You will want to make a record of your interactions with BinProlog so that you
can turn it in as part of your homework assignment.  I suggest that you do it
this way.

1. In a terminal window, type

                             script teefile

where teefile is the name of the file you are going to have the interactions
written to.  Do not use the name of the Prolog file you are going to load into
BinProlog.

2.  Type
                             cat filename.pl

to show your axioms including any comments you may have put in the file.
(Comments are lines beginning with %.)

3.  Start BinProlog, load your Prolog file(s) and execute the commands you
need to demonstrate that your Prolog program works. Get out of BinProlog as
usual with halt.

4.  Type
                               exit

to get out of script mode.

5.  Your file teefile will now contain a record of all the above.  This is
the file you want to print and submit as part of your homework assignment.

One more thing.  If your backspace key doesn't work while in BinProlog, use
Control-H to backspace and it will delete as you backspace.