Browse free open source Prolog Software and projects below. Use the toggles on the left to filter open source Prolog Software by OS, license, language, programming language, and project status.
The GNU Prolog native compiler
ECLiPSe Constraint Logic Programming System
Syntax tree editor for rapid annotation of existing text
A Database System for Metamodeling and Method Engineering
Deductive Database with Datalog, SQL, RA, TRC, DRC
Euler Yet another proof Engine
ADP is a script language designed for Web database prgramming.
C#Prolog -- A Prolog interpreter written in managed C#
a reasoning engine for agents and games