How To Run Prolog


Getting Started

CSAI Account Holders

If the symbol after "@" in your email address is "cs", you have an account with the CSAI Department. All you need do is log in and type prolog to the prompt:
% prolog
You should see the following sign-on message from Prolog
Welcome to SWI-Prolog (Version 2.7.18)
Copyright (c) 1993-1996 University of Amsterdam.  All rights reserved.
For help, use ?- help(Topic). or ?- apropos(Word).
1 ?- 

Other Users

If you do not have an account on a departmental machine you can use the temporary account cs108 (password: ask me) on any of the departmental machines. After logging in, create your own directory with mkdir and go to it using cd. Then execute Prolog as above
% mkdir mydir
% cd mydir
% prolog
N.B. Anybody can read and write on your directory. The provision of this account is a privilege not a right. Please treat the account with discretion, otherwise it will disappear for you and others.

Stopping Prolog

The safest way to stop Prolog is to issue the command
?- halt.

Mike Rosner (
Last modified: Wed May 21 17:11:15 MET DST