TerminusDB is a distributed database with a collaboration model
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
C#Prolog -- A Prolog interpreter written in managed C#
Java Internet Prolog (Moved to GitHub)
TuCSoN tuple-based coordination middleware