A Database System for Metamodeling and Method Engineering
Deductive Database with Datalog, SQL, RA, TRC, DRC
Syntax tree editor for rapid annotation of existing text
Euler Yet another proof Engine
Amine is a Multi-Layer Platform for the dev. of Intelligent Systems
Syllog is a system for teaching logic, with anonymous answer logging
An OrBAC policy editor
Short C++/Java/C#/Python benchmark
a Java API & Interpreter for AgentSpeak + Prolog
A Java front-end to the dnrDALMAS Prolog Module.
Java Internet Prolog (Moved to GitHub)
TuCSoN tuple-based coordination middleware
A 100% Java Warren Abstract Machine implementation.