Next: Structure of Prolog Programs Up: prolog Previous: Introduction to Prolog

SWI-Prolog

Download from www.swi-prolog.org
Log in to linux-termserver
Type ``pl'' to start.
Type ``halt.'' to exit.

pl
Welcome to SWI-Prolog (Multi-threaded, Version 5.2.13)
Copyright (c) 1990-2003 University of Amsterdam.
SWI-Prolog comes with ABSOLUTELY NO WARRANTY. This is free software,
and you are welcome to redistribute it under certain conditions.
Please visit http://www.swi-prolog.org for details.

For help, use ?- help(Topic). or ?- apropos(Word).

?-

Type ``help(help).'' for online manual.