Your final program must run on Sicstus Prolog on remus/Unix
. (Unfortunately, this is not public software so there are no free
downloads of this implementation.)
((April 9/04) The link to the PC Prolog that we used to have here is dead. You can
try looking at
this listing of free Prolog interpreters, some of which run
on PCs (Windows and Linux). You might start by trying SWI Prolog, though
we have no experience with it. Please send us comments on your
experiences so we can pass them along.