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.