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.)
SWI-Prolog is a freely available Prolog with versions for Windows,
Linux and Mac operating systems. We have not used this Prolog before,
so please send us your comments on it.
