Below are a few references for Prolog. Any of the
texts should serve as a good reference. Since you've all had some experience
with Prolog you probably won't need these. To quickly look up a few things,
you might try one of the online references.
The prolog system that we recommend is SWI Prolog. SWI Prolog is invoked by
the command "swipl" on CDF. To exit SWI Prolog type "halt.". (Note the period at the end.)
You can also download a version of SWI for your PC (linux,
Windows, or Mac). See the SWI home page for downloads, and documentation. There is a text deubber, but according to Hojjat, there is also an SWI graphical
debugger under linux that is
available from the official SWI site:
Instead of "swipl" you just run "xpce". The rest is exactly the same, except
you can say gtrace, gspy, etc and a graphical debugger pops up with everything!
Running Prolog
Prolog Debugger
This debugger has also been installed on CDF.
Further Resources
Some additional material on Prolog.
Prolog Tutorial Part II