Browse free open source Prolog Software Development Software for Desktop Operating Systems and projects below. Use the toggles on the left to filter open source Prolog Software Development Software for Desktop Operating Systems by OS, license, language, programming language, and project status.
The GNU Prolog native compiler
ECLiPSe Constraint Logic Programming System
Goal-directed answer-set programming