ichiban/prolog
The only reasonable scripting engine for Go
Реалізації
AZ-Prolog – 論理型言語Prolog処理系
Logtalk
Logtalk - Declarative object-oriented logic programming language
Comparison of Prolog implementations
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]
ECLiPSe Home
The GNU Prolog web site
SICStus Prolog Homepage
SICStus Prolog is a state-of-the-art, ISO standard compliant, Prolog development system
Strawberry Prolog
Professional tool for programming in Prolog. Free Light edition with many example programs in it.
trealla-prolog/trealla: A compact, efficient Prolog interpreter written in plain-old C.
A compact, efficient Prolog interpreter written in plain-old C. - trealla-prolog/trealla
Visual Prolog: A Versatile Programming Language
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.
XSB