The GNU Prolog native compiler
Syntax tree editor for rapid annotation of existing text
ADP is a script language designed for Web database prgramming.
Amine is a Multi-Layer Platform for the dev. of Intelligent Systems
illness_index A Computer Program of a Medical Textbook.
Euler Yet another proof Engine
A Database System for Metamodeling and Method Engineering
Deductive Database with Datalog, SQL, RA, TRC, DRC
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