A general purpose syntax highlighter in pure Go
A Julia package for Prolog-style logic programming
The GNU Prolog native compiler
ECLiPSe Constraint Logic Programming System
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.
A logic programming tool and a logical database with a RESTful API
An iptables IPv4 firewall and traffic shaping program
Prolog to C compiler with runtime for DOS, Windows and Raspbian
Implements the stable model semantics without grounding.
Formalized Research Database: Cluster, Study and Apply
An implementation of the Squl declarative programming language.
two experimental AI languages + zubr
Syntax tree editor for rapid annotation of existing text