Browse free open source Prolog System Software and projects below. Use the toggles on the left to filter open source Prolog System Software by OS, license, language, programming language, and project status.
Euler Yet another proof Engine
TuCSoN tuple-based coordination middleware
An OrBAC policy editor
(download) Linux Adequate"available approximately five days"
Prolog to C compiler with runtime for DOS, Windows and Raspbian