C++ Classes for Prolog

Appeared in Volume 6/3, August 1993

Keywords: C++.

rgc3679@bcstec.ca.boeing.com
Robert G. Carpenter
16th March 1993

Are there any C++ class libraries that emulate the Prolog language?

I'd like to write an Expert System in C++ that has most of the capabilities of Prolog.

puget@ilog.fr
Jean-Francois Puget
22nd March 1993

We have developed a C++ library that implements a CLP instance known as finite domains. This library, called ILOG SOLVER, includes:

Prolog control structures: non determinism, choice points, backtracking and cut.
Finite domain logical variables, and associated constraints.
Interval flotaing point variables, and associated constraints.

However, ILOG SOLVER does not uses unification for passing arguments, which enables a smooth integration with C++.

So, if you are relying heavily on unification (which can be a good choice), do not consider ILOG SOLVER.

Some published papers on ILOG SOLVER are available upon request.

No Prev