Open Source Prolog System Software
Sort By:
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
An OrBAC policy editor
TuCSoN tuple-based coordination middleware
(download) Linux Adequate"available approximately five days"