\documentstyle[11pt]{article}
\nofiles
\input{use-full-page}

\begin{document}
\noindent
~
\hfill CS 541 --- Programming Languages 1
\hfill \today \\

\begin{center}
{\huge RUNNING Prolog at Iowa State}
\end{center}

\section{Flash}

Unfortunately, Stony Brook Prolog doesn't run on Flash, the computer you
are supposed to use.
So you can use the Prolog interpreter called {\tt cprolog}.
It has the same syntax as Stony Brook Prolog.
(This also works on Zippy and Zaphod.)
When the interpreter is started, it prompts for a goal.
Don't forget the period at the end of the goal.

To read in a file named ``test.pl'', type the following to the interpreter:
\begin{verbatim}
consult('test.pl').
\end{verbatim}
The definitions in the file will be put into Prolog's database.
To read definitions from the terminal, evaluate the goal
{\tt consult(user).}
To list the current definitions, evaluate the goal {\tt listing}.

On Flash, in the directory {\tt /usr/unsup/info} there are emacs info
files for Stony Brook Prolog.

\section{Project Vincent}

You {\em can\/} run Stony Brook Prolog under Project Vincent.
To activate sbprolog, enter the following commands:
\begin{verbatim}
   attach prolog
   source /home/prolog/INIT
\end{verbatim}
(This assumes that you are using a C-shell.)

The prolog system can then be started with the command {\tt sbp}.

\section{Debugging}

To trace the execution of a goal,
evaluate the goal {\tt trace.}
This causes the execution of the next goal to be traced.

When debugging, if you fix some clauses in a file and want to read them in
again, use {\tt reconsult} instead of {\tt consult}.

\end{document}