Arity Prolog Compiler 4.x

The Arity Prolog Compiler is an implementation of the Prolog language. It features a compiler that creates high speed executables in addition to an interpreter. It competed against the less expensive Borland Turbo Prolog.

The Prolog language was used for "Artificial Intelligence" development. It differs from other languages as it is designed to work with symbolic information, and is used to analyze information about objects and their relationship by stating logical facts. For a time, Arity Prolog was considered a "next generation" programming tool for the PC.