TerminusDB is a distributed database with a collaboration model
Deductive Database with Datalog, SQL, RA, TRC, DRC
A Database System for Metamodeling and Method Engineering
Syntax tree editor for rapid annotation of existing text
Amine is a Multi-Layer Platform for the dev. of Intelligent Systems
Euler Yet another proof Engine
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