Newsgroups: comp.lang.prolog
Path: cantaloupe.srv.cs.cmu.edu!das-news2.harvard.edu!news2.near.net!news.mathworks.com!udel!gatech!howland.reston.ans.net!EU.net!sun4nl!swi.psy.uva.nl!jan
From: jan@swi.psy.uva.nl (Jan Wielemaker)
Subject: Re: Sicstus 2.1 for Linux
Message-ID: <Cyxyo9.DwE@swi.psy.uva.nl>
Keywords: linux,prolog,sicstus2.1
Organization: Social Science Informatics
References: <CyK292.6E0@odin.diku.dk>
Date: Tue, 8 Nov 1994 09:07:20 GMT
Lines: 34

rasmus@diku.dk (Rasmus Andersen) writes:

>Hi all.

>  I wondered if anyone knew where I could get a prolog for linux that
>resembles Sicstus2.1?

SWI-Prolog does a good deal of it if you load the library(quintus)
module.  I'm developing/maintaining the XPCE Prolog libraries such that
they run on SWI-Prolog, Quintus and SICStus (34000 lines).  Syntax,
module systems and a good deal of the built-in predicates are closely
compatible.

The main problem is the library structure.  For example, if you want
member/2, it is built-in in SWI-Prolog and requires libraries on Quintus
and SICStus.  I define a directive called require/1, which allows me
to state ``I want to have a definition of this predicate with the commonly
understood semantics''.  So,

	:- require([member/2, forall/2]).

will ensure I can call these two predicates, no matter what the library
structure is.


	Regards --- Jan

P.s.	SWI-Prolog 1.9.3 is available from
	swi.psy.uva.nl:/pub/SWI-Prolog/pl-1.9.3.tar.gz
P.s.	XPCE/SWI-Prolog binaries *for linux* (demo versions; other versions
        are licenced) is available from
	swi.psy.uva.nl:/pub/xpce/linux/...  XPCE is a portable Graphical
	UI environment for various Prolog and Lisp systems as well as
	C++.
