Home Open Source Articles Videos AI Newsletter Contact

This Web site will be closing on 6/19/2026.

Dennis Merritt is finally retiring! See what he's up to at: denniscmerritt.com

His books, "Adventure in Prolog" and "Building Expert Systems in Prolog" are available from Amazon.

Amzi! Prolog + Logic Server is open source at: github.com/AmziLS

This full Web site is there as well for rehosting anywhere.


Amzi!


Sign-up for the
Amzi! Newsletter

 

Amzi! provides software and services for knowledge-based application development and deployment.

Amzi! Open Source Projects

Amzi! Prolog + Logic Server is now Open Source.

Amzi! Prolog Eclipse plug-in source code debugger
Amzi! Prolog source code debugger showing call stack, variable bindings, source code at a REDO port, index of predicates, and executing code.

Amzi! Prolog + Logic Server

Amzi! Prolog + Logic Server is an embeddable, extendable, highly portable implementation of ISO standard Prolog, including full support for ISO modules enabling large-scale application development. It is distinguished by:

  • Logic Server API: full interfaces for both calling in and calling out from Prolog from a wide variety of development environments including C, C++, Java, Delphi, .NET, VB.
  • Eclipse IDE featuring: source code debugger, cross reference, integrated listener, project support and all of the professional development features of Eclipse. Ideal for both learning Prolog and for building commercial grade applications. Amzi!'s strong Java interface made it possible to integrate intelligent Prolog debuggers, cross reference, and other features in the Eclipse Prolog plug-in.
  • Virtual machine architecture allows binary code independence. Develop on Windows, deploy on Unix.

Go straight to download.

Adventure in Prolog — Prolog Tutorial

A full tutorial for learning Prolog, using an interactive fiction game for it's basic example. In the course of the tutorial you will also build an expert system and a business application.

Expert Systems in Prolog — Applications of Prolog

A tutorial with many samples showing how to use Prolog to create rule languages and reasoning engines for a variety of different types of knowledge and application.

Knowledge Wright — Customizable Knowledge Base Tool

Knowledge Wright is a customizable platform for creating domain-specific application development tools

Knowledge Wright was made possible by the expressiveness of the Prolog language for the development of knowledge based languages and reasoning engines, and Amzi!'s Logic Server API which allowed for the seamless integration with a Java-based development environment.