Amzi! Documentation

License -- Amzi! License Agreement.

Install -- Installation and setup instructions.

News -- What's new in this release, and conversion issues for existing applications.

Platform Status -- What interfaces and samples are available for each of the supported platforms.

Tutorial -- The 'Adventure in Prolog' tutorial is a pragmatic look at Prolog that uses an adventure game as the main teaching example. It also walks you through an expert system, a classic genealogical application, a customer order entry system and a natural language interface using DCG.

Prolog User's Guide & Reference -- How to use the IDE, listener, compiler, linker, runtime and a full Prolog predicate reference. Also includes a quick overview of the system and a quick tutorial on the Amzi! tools.

Logic Server User's Guide & Reference -- How to use the Logic Server API in general and details on supported environments such as C, C++, Java, Visual Basic, Delphi, and Access. How to use and build Logic Server Extension (LSXs).

Building Expert Systems in Prolog -- An advanced tutorial on how to build various expert systems in Prolog using frames, objects, forward chaining, backward chaining, Rete algorithms and more.

Error Codes -- A full list of Amzi! error codes.

Samples -- A directory of Amzi! sample programs, organized in a few different ways.

Prolog Predicate Libraries -- Documentation is in the source code:

List Predicates -- For manipulating lists.
Debugging Predicates -- Provides a handy ? operator that logs calls, fails, redos and exits.
Miscellaneous Predicates -- Includes freeze, melt, string comparison, and flag handling.

Articles -- Helpful articles from PC AI, Dr. Dobb's Journal, VB Tech Journal...

Exploring Prolog, PC AI Sep/Oct 93 -- Introduces Prolog by presenting various techniques and applications, including an adventure game, object- oriented programming, animal identification and tax form calculation.
Prolog Under the Hood: An Honest Look, PC AI Sep/Oct 92 -- Examines the inner workings of Prolog, explaining backtracking and unification.
White Paper on Rules, Prolog and Logic Server Technology -- Provides an overview of what rules are, how they are applied, and the features of the Prolog language that makes it ideal for writing rules.
Building Custom Rule Engines, PC AI, Mar/Apr 96 -- An introduction to the techniques used in building custom rule engines in Prolog. Many small examples are provided as illustration. The complete source code is in the Amzi! Prolog Samples.
Java Meets Prolog for Advisors, Analysts and Agents PC AI, Nov/Dec 96 -- Encapsulating a Prolog engine in a Java Class.
Using Rules to Code the Heart and Soul of VB Applications, VB Tech Journal, Sep 95 -- An introduction to combining Prolog and Visual Basic to implement an intelligent genealogical database. See samples for the code example used in this article.
Objects and Logic--C++ Meets Prolog, PC AI, May/Jun 95 -- A discussion of encapsulating Prolog code within C++ objects.
Extending C with Prolog, Dr. Dobb's Journal, Aug 94 -- An introduction on integrating C and Prolog, with some background on Prolog that indicates which parts of an application are best coded in Prolog, and which in C. Illustrated with a multimedia installation expert system.
Designing and Building a PC Card Installation Expert, Dr. Dobb's Journal, Aug 96 -- Gregg Weissman describes how Xircom uses Amzi! and C/C++ to intelligently install their network and modem cards.
Scheduling the Atlantic Coast Conference Basketball Games -- Describes how Amzi! Prolog was used to create a perfectly balanced schedule that meets fairness and television constraints for the ACC.