Amzi! Prolog
+
Logic Server

---

Download

White Papers

Videos

Articles

Documentation

User Stories

User Software

Amzi! Prolog + Logic Server™

---

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.

This makes Amzi! an ideal choice for either students learning Prolog, or for individuals and organizations interested in developing and deploying knowledge-based applications.

See overview for a detailed description of the full product.

Download and purchase

Architecture

Amzi! Prolog + Logic Server uses a virtual machine architecture similar to that of Java. Prolog code can be either interpreted or compiled. Both the interpreted source code and the compiled binary code are machine independent and just require an Amzi! virtual machine to run on any supported platform.

The Amzi! virtual machine is written in C++ and has been ported to numerous different environments. A runtime port simply requires recompiling the C++ code for the new target machine.

Logic Server API

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.

Eclipse IDE

The Amzi! plug-in for Eclipse lets the Prolog developer have all of the power of Eclipse project management and editing customized for the unique pattern-matching and search execution of Prolog. The cross reference and index for files is based on the fundamental Prolog code unit of a predicate, and the debugger displays the call stack, variable bindings and backtracking search execution of Prolog color-coded and tied directly to the source code.

This totally transparent display of Prolog execution makes it much easier for students to master the language.

The Eclipse support for remote and compiled code debugging provides powerful tools for developing commercial grade applications.

The Amzi! plug-in comes either packaged with a full version of Eclipse for developing Prolog applications, or it can be used as a plug-in for an existing Eclipse installation enabling the development of multi-language applications, integrating say Java, or the Eclipse Modelling Foundation with Prolog.