The following Comparison of Prolog implementations provides a reference for the relative feature sets and performance of different implementations of the Prolog computer programming language. A comprehensive discussion of the most significant Prolog systems is presented in an article published in the 50-years of Prolog anniversary issue of the journal Theory and Practice of Logic Programming (TPLP).[1]

Visual Prolog is a versatile programming language built upon the logical language Prolog, combining the best features of logical, functional, and object-oriented programming paradigms.

Professional tool for programming in Prolog. Free Light edition with many example programs in it.

A compact, efficient Prolog interpreter written in plain-old C. - trealla-prolog/trealla

SICStus Prolog is a state-of-the-art, ISO standard compliant, Prolog development system

Let's take a look at Prolog's greatest attractions and most unique features! In addition to being an excellent database and query language, Prolog is uniquely suited for processing rules, reasoning about strings, and solving combinatorial problems. Rewriting code at compilation time, a feature called macros in other languages, is easily possible in Prolog. Prolog's implicit mechanisms allow exceptionally concise meta-interpreters. These features make Prolog a very attractive language for writing interpreters and other complex applications.

Logtalk - Declarative object-oriented logic programming language

This series walks through the introductory principles to get started with the prolog logical paradigm. I go through the fundamentals and by the end, you shou...

An online IDE for visual programming in Prolog. Contribute to toblotron/praxis-ide development by creating an account on GitHub.