Honors Programming Languages
               G22.3110 Fall 2005

Using GNU Prolog on a Solaris machine:

To start the prolog system, type "gprolog". The system starts up in
query mode, which means that any goal you type in (or conjuctive
goal), terminated with a ".", is interpreted as a query.

To enter your program (i.e. series of clauses) or to add to existing
clauses directly from the terminal, type 

  consult(user). 

or 
 
  [user].


After that, any clause typed in will be incorporated into the
program. To return to query mode, type control-D.

To read in your program from a file, type

   consult('filename'). 

or
 
   ['filename'].

(NOTE: be sure to include the single quotes surrounding the filename).

To exit from Prolog, type control-D while in query mode.