The GNU Prolog native compiler
Amine is a Multi-Layer Platform for the dev. of Intelligent Systems
ECLiPSe Constraint Logic Programming System
Syntax tree editor for rapid annotation of existing text
Deductive Database with Datalog, SQL, RA, TRC, DRC
Syllog is a system for teaching logic, with anonymous answer logging
A cross platform audio inteface
Goal-directed answer-set programming
(download) Linux Adequate"available approximately five days"