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 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.
(download) Linux Adequate"available approximately five days"
A java modeling framework based on frame-slot-facet Minksy's theory