The GNU Prolog native compiler
ECLiPSe Constraint Logic Programming System
Euler Yet another proof Engine
Syntax tree editor for rapid annotation of existing text
A Database System for Metamodeling and Method Engineering
Amine is a Multi-Layer Platform for the dev. of Intelligent Systems
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
PyCLP is a Python library to interface ECLiPSe Constraint System
Short C++/Java/C#/Python benchmark
a reasoning engine for agents and games
A Java front-end to the dnrDALMAS Prolog Module.
A general-level Prolog implementation of the DALMAS architecture.
C#Prolog -- A Prolog interpreter written in managed C#