[comp.lang.prolog] Wanted: a simple prolog interpreter suitable for embedding

wood@vigrid.cs.cornell.edu (Mark D. Wood) (07/14/90)

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.