Search Results for "information system"
Sort By:
ECLiPSe Constraint Logic Programming System
A Database System for Metamodeling and Method Engineering
Euler Yet another proof Engine
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