Syntax tree editor for rapid annotation of existing text
A Database System for Metamodeling and Method Engineering
Euler Yet another proof Engine
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
An OrBAC policy editor
Short C++/Java/C#/Python benchmark
A Java front-end to the dnrDALMAS Prolog Module.
a Java API & Interpreter for AgentSpeak + Prolog
Java Internet Prolog (Moved to GitHub)
TuCSoN tuple-based coordination middleware
A 100% Java Warren Abstract Machine implementation.