ECLiPSe Constraint Logic Programming System
Euler Yet another proof Engine
A Database System for Metamodeling and Method Engineering
A general-level Prolog implementation of the DALMAS architecture.
A cross platform audio inteface
Goal-directed answer-set programming
Yadlr toolset for many-valued inference