ECLiPSe Constraint Logic Programming System
A Database System for Metamodeling and Method Engineering
Syllog is a system for teaching logic, with anonymous answer logging
anpe is Ada Neural Prolog Engine
Java Internet Prolog (Moved to GitHub)
Teaching planner tool to help universities in developing countries