Looking for C++ Prolog Library

Appeared in Volume 9/4, November 1996

Keywords: C++.

schlegel@faw.uni-ulm.de
Christian Schlegel
9th January 1996

Does anybody know of a C or C++ library which supports unification and other basic mechanisms for a Prolog interpreter.

phil@noki.demon.co.uk
Phill
10th January 1996

Try SWI-Prolog. It allows you to call a Prolog predicate from a C function I believe that the source code is available. Visit ftp://swi.psy.uva.nl.

mary@amzi.com
Mary Kroening
11th January 1996

We offer Amzi! Prolog + Logic Server. It contains 16 and 32-bit Windows DLLs (dynamic libraries) and Windows, and DOS static libraries that encapsulate a full, Edinburgh-standard Prolog engine that runs both compiled and interpreted code. The Windows version runs under 3.x, 95 and NT.

There are multiple interfaces to the engine, including a C function interface, a C++ class, a Java class, a Delphi component, and a Visual Basic module.

The interface lets you pose a Prolog query (e.g. call) then map the results to local variables. These can be simple terms like strings and numbers, or complex terms like structures and lists. In addition, you can backtrack into the query to get multiple answers.

The engine is about 175Kb of code. You'll need space for your stacks and program code on top of that.

More information is available at http://www.amzi.com, or from me.