ECLiPSe Constraint Logic Programming System
A Database System for Metamodeling and Method Engineering
ADP is a script language designed for Web database prgramming.
Euler Yet another proof Engine
Amine is a Multi-Layer Platform for the dev. of Intelligent Systems
A general-level Prolog implementation of the DALMAS architecture.
Java Internet Prolog (Moved to GitHub)
A cross platform audio inteface
Goal-directed answer-set programming
Yadlr toolset for many-valued inference
Prolog wrapper for BWAPI