Path: utzoo!utgpu!news-server.csri.toronto.edu!rpi!think.com!snorkelwacker.mit.edu!ira.uka.de!sun.rhrk.uni-kl.de!uklirb!shell From: marti@mint.inf.ethz.ch (Robert Marti) Newsgroups: comp.ai.shells Subject: Re: Looking for small rule based system to be embedded in app. Message-ID: <8052@uklirb.informatik.uni-kl.de> Date: 11 Jun 91 19:05:51 GMT References: <"<8005@uklirb.informatik.uni-kl.de> <*"@MHS>> <8036@uklirb.informatik.uni-kl.de> Sender: shell@uklirb.informatik.uni-kl.de Reply-To: Robert Marti Distribution: world Organization: Departement Informatik, ETH, Zurich Lines: 36 Approved: shell@dfki.uni-kl.de Posted-Date: Fri Jun 14 06:59:55 GMT 1991 In article <8036@uklirb.informatik.uni-kl.de> bach@isbe.unib.ch writes: >I would definitely look at PD Prolog. ETH has a Modula-2 version. It is >a few kb in size. Um, ah, ..., sorry to contradict you, Rene, but the people who wrote the Modula--Prolog system you're probably thinking about have left ETH a loooong time ago. There used to be a Lilith, a Mac, and a Sun version. We have used the latter two about four years ago and found them to be not exactly bug-free, to put it mildly ... If you want a Prolog for UNIX-boxen, I'd recommend SICStus-Prolog which is about $400 for a site licence for educational institutions. It comes with source and it is both solid and fast, but you can't embed it in C code. (You _can_ call C from Prolog, but, alas, not vice versa.) Contact Mats Carlsson for further information. >Else I would look at the current state of the art of commercial Prologs. >LPA-Prolog would be the first I would look at. LPA has a fairly good Mac implementation, I'm told. For IBM PCs, ALS seems to be a good system. For UNIX-boxen, I'd look at Quintus-Prolog. This is the only commercial Prolog implementation I know of which allows Prolog to be called from C code ... (Quintus can be reached electronically at .) Disclaimer: I have no connection with any of the above companies or institutions except being a satisfied SICStus-Prolog user. Robert Marti | Phone: +41 1 254 72 60 Institut fur Informationssysteme | FAX: +41 1 262 39 73 ETH-Zentrum | E-Mail: marti@inf.ethz.ch CH-8092 Zurich, Switzerland |