herman@vuse.vanderbilt.edu (Herman van der Molen) (05/30/91)
Hello, I am looking for a small rule based system that can be embedded in a C or C++ based application. The system should preferably include source code, so that it can be adapted to either DOS or MS-Windows applications. I have looked at CLIPS (version 5), and Kappa / PC, which are both huge systems and can hence not easily be embedded. I have in fact started writing my own system, but if there is anything ready out there, it would save me a lot of time. If anyone has any pointers to such a production system, I would very much appreciate receiving any info. -- ------------------------------------------------------------------------------- Herman Vandermolen (Vanderbilt University) Internet: herman@vuse.vanderbilt.edu BitNet: VANDERH@VUCTRVAX
bach@optolab.pyl.unibe.ch (06/11/91)
I would definitely look at PD Prolog. ETH has a Modula-2 version. It is a few kb in size. You will need to add a permanent storage facility, so that you will not need to consult a DB at each call. Else I would look at the current state of the art of commercial prologs. LPA-Prolog would be the first I would look at. Ask Norbert Fuchs for details. Cheers Rene Rene Bach Dept. Chairman Software Schule Schweiz Morgartenstr. 2c 3014 Bern Phone: ++41 31 495 111 FAX: ++41 31 400 625 Email: bach@isbe.unib.ch !!!! NB. DISREGARD MAIL HEADER !!!! I am unsing a guest account without mail access
marti@mint.inf.ethz.ch (Robert Marti) (06/12/91)
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 <matsc@sics.se> 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 <sales@quintus.com>.) 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 |