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