Implementations
Amzi! Prolog + Logic Server
This extensible Prolog version runs under Windows, Linux, Solaris and HP/UX, supporting development of client and server applications embeddable in the web, C/C++, Java, Delphi, Vi…
Aquarius Prolog 1.0
The compiler for this open-source version developed at UCB is built around the Berkeley Abstract Machine, a finer-grained rendition of WAM. An interpreter provided for program dev…
Arity/Prolog
With a compiler and interpreter written in Prolog, C and assembly language and representing a superset of Edinburgh Prolog, a programming environment is offered for Windows/NT.
Babol Prolog
Prolog WAM-based implementation. Entirely written in C. Still under construction.
Brain Aid Prolog
Based on Edinburgh Prolog and extended with object-oriented mechanisms, this Berkeley-style open-source system has a compiler written in Prolog and generating Transputer assembly c…
Ciao Prolog Development System
Full ISO-Prolog compliant system, modular design allows language restriction and extension. Descriptions, contacts, mail lists, downloads. [Open Source, GPL]
CMU Free/Shareware Prolog
CMU's AI repository offers a collection of Prolog implementations.
EZY Prolog
A typed prolog interpreter, compatible with Visual Prolog, powrefull syntax checker with flow pattern analyser, GUI designer for declarative GUI, built-in functionality for ODBC, W…
GNU Prolog
This compiler accepts Prolog + constraint programs and produces native binaries. The obtained executable is subsequently stand-alone. The size of this executable can be quite small…
Logic Programming Associates
WIN-PROLOG, DOS-PROLOG, MacProlog32 compilers. Products range from Prolog++ an OOPs extension, flex an expert system toolkit, and various web based technologies. [Commercial]
Showing 20–20 of 29 results