From: bmiller@milli.cs.umn.edu (Brad Miller) Subject: Re: Looking for Prolog for Linux Date: Wed, 1 Sep 1993 12:45:34 GMT
In <1993Aug31.171048.1970@cnplss5.cnps.philips.nl> metzger@cnplss5.cnps.philips.nl (Kees Metzger) writes:
>raynor@cs.scarolina.edu (Harold Brian Raynor) writes:
>>I am looking for a Prolog compiler/interpreter for Linux. If anyone
>>knows of one being available, PLEASE let me know.
>It is called XSB and runs out of the box (on my Linux system that is).
>I don't have the exact address here at hand. If the XSB people don't answer
>themselves, ask me again!
Another good one is SWI-Prolog. Available from swi.psy.uva.nl
This has lots of good features. It can be run in an emacs buffer very
nicely, and If I remember correctly there is also an X interface. (That
was announced after I had already built a version for myself, so I don't
remember the details)
\Brad
===============================================================================
Brad Miller | e-mail: bmiller@cs.umn.edu
University of Minnesota | phone: (612) 626-8396
Department of Computer Science | office: 5-244
===============================================================================