The GNU Prolog native compiler
ECLiPSe Constraint Logic Programming System
Syntax tree editor for rapid annotation of existing text
Amine is a Multi-Layer Platform for the dev. of Intelligent Systems
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