Amzi! Prolog + Logic Server 9.5

Amzi! Prolog Logic Server is an embeddable, extendable, portable implementation of ISO standard Prolog, with a full professional interactive development environment (IDE) implemented as an Eclipse plug-in.

The Amzi! Logic Server API (LSAPI) is a full application program interface (API) allowing for the integration of Prolog with a host language development environment. The core LSAPI is a collection of C functions that access the Prolog virtual machine. Amzi! provides a number of wrappers for other languages, including C , Java, Delphi, VB and .NET.

The LSAPI enables the host language to query Prolog logic bases, and also allows Prolog to call extended predicates implemented in the host language. So, the host language can call Prolog for it's reasoning capabilities, and the Prolog code can reason over information taken directly from the host language.