Path: utzoo!utgpu!news-server.csri.toronto.edu!rutgers!mit-eddie!uw-beaver!cornell!wood
From: wood@vigrid.cs.cornell.edu (Mark D. Wood)
Newsgroups: comp.lang.prolog
Subject: Wanted: a simple prolog interpreter suitable for embedding
Message-ID: <43357@cornell.UUCP>
Date: 14 Jul 90 16:35:44 GMT
Sender: nobody@cornell.UUCP
Reply-To: wood@cs.cornell.edu (Mark D. Wood)
Distribution: comp
Organization: Cornell Univ. CS Dept, Ithaca NY
Lines: 8

Our research project is developing a monitoring language that includes
predicates.  We would like to develop the system in C or C++ as the
other components are in C.  To evaluate these predicates, we need
simple unification (out-variables unified to values) and backtracking.
I don't see a need for cuts, nor do we need most other built-in
functors (I/O, etc).  This seems like something that must have been
done before, so I would appreciate any pointers to existing systems or
ideas about better ways of doing this.  Thanks.