TerminusDB is a distributed database with a collaboration model
The GNU Prolog native compiler
ADP is a script language designed for Web database prgramming.
Deductive Database with Datalog, SQL, RA, TRC, DRC
Syntax tree editor for rapid annotation of existing text
A Database System for Metamodeling and Method Engineering
Euler Yet another proof Engine
illness_index A Computer Program of a Medical Textbook.
Amine is a Multi-Layer Platform for the dev. of Intelligent Systems
Prolog to C compiler with runtime for DOS, Windows and Raspbian
Implements the stable model semantics without grounding.
Syllog is a system for teaching logic, with anonymous answer logging
An OrBAC policy editor
anpe is Ada Neural Prolog Engine
psys is Prolog part of anpe projet
Dennis J. Darland's Philosophy
PyCLP is a Python library to interface ECLiPSe Constraint System