The GNU Prolog native compiler
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
ADP is a script language designed for Web database prgramming.
Deductive Database with Datalog, SQL, RA, TRC, DRC
illness_index A Computer Program of a Medical Textbook.
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
Short C++/Java/C#/Python benchmark