Deductive Database with Datalog, SQL, RA, TRC, DRC
A Database System for Metamodeling and Method Engineering
Syllog is a system for teaching logic, with anonymous answer logging
A Java front-end to the dnrDALMAS Prolog Module.
Constraint Logic can solve word logic puzzles.