Prolog book is aimed at programmers who wish to add it as a tool for games programming.

Makes Prolog compilers and development environments for Prolog and CLP. Download programs, servers, and papers.

Prolog compiler generates C/C++ code and standalone executables. Download an evaluation copy or get ordering details.

Provides advanced AI programming and a Prolog compiler with the familiar Mac interface. Get specifications and details of trial software.

Learn about this Prolog compiler for Windows. Includes Y2K compliance information and details on downloading trial copies.

Automatic partial evaluator for Prolog produces a new program and optimizes instantiated queries. See a sample and details of how to get a copy.

Programming system combines AI and object-oriented programming. Find out about trial copies and Y2K compliance.

Large database of Prolog files such as implementations, trees, sets, graphs, utilities and predicates.

Find out about this embeddable implementation of Prolog. Get the specs of the language as implemented in different environments.

Prolog implementation built around a high-performance engine and conforms to ISO standard. Includes news and ordering details.