*BSD News Article 22578


Return to BSD News archive

Xref: sserve comp.os.386bsd.misc:1292 comp.os.linux:56477
Newsgroups: comp.os.386bsd.misc,comp.os.linux
Path: sserve!newshost.anu.edu.au!munnari.oz.au!news.Hawaii.Edu!ames!agate!howland.reston.ans.net!pipex!uknet!mcsun!sun4nl!swi.psy.uva.nl!jan
From: jan@swi.psy.uva.nl (Jan Wielemaker)
Subject: Re: [ANSWER] PROLOG interpreter needed
Message-ID: <CF51vt.LsC@swi.psy.uva.nl>
Organization: Social Science Informatics
References: <1993Oct6.184325.11583@finbol.toppoint.de> <750282279.25432@minster.york.ac.uk> <29dc2c$gmn@u.cc.utah.edu> <1993Oct18.202719.14782@galileo.cc.rochester.edu>
Date: Tue, 19 Oct 1993 09:47:52 GMT
Lines: 23

jwfn@dali.cc.rochester.edu (Jia-Wei Fann) writes:

>	I'd like to find a public domain Prolog interpreter for LINUX. 
>Please e-mail me if you know where it is.

I know at least two that run on linux: XSB and SWI-Prolog.  For XSB,
see the Prolog FAQ posted on c.l.p.  You can ftp SWI-Prolog (currently
1.8.3) from swi.psy.uva.nl (pub/SWI-Prolog/pl-1.8.3.tgz).  These are
the sources for plain Prolog and should compile out-of-the-box.  If
you want graphics too, download XPCE/SWI-Prolog from the same site,
directory pub/xpce/linux.  See README there for further info.

SWI-Prolog is an Edinburgh-style Prolog implementation.  Compile only.
Modules, Garbage collector/Stack expander, many built-ins, library
autoloader, saved-states, etc.  etc.  The C-interface works for so
called `static linking', but fails for dynamic linking probably due
to a bug in ld.  XPCE is a high-level object oriented GUI system.

	Regards --- Jan