Products

Prolog Runtime Library:

The Jekejeke Prolog runtime library is an interpreter only implementation of Prolog written in 100% Java. The runtime library provides a simple console interface and no debugger. The implementation of the language mainly follows the ISO Prolog core standard. The implementation also features an application programming interface. More...


Prolog Development Environment:

The development enviroment extends the runtime library. It additionally provides a deterministic debugger and various tooling. Among the tooling we find a component to execute tests cases which can also deliver a coverage analyses of a Prolog text relative to some given test cases. More...


Minimal Logic Extension:

The minimal logic extension provides a component for forward chaining. The component can be applied to normal Prologtexts, further there are Chart, CHR and ASP variants. The package also contains a attribute variables, constraint solvers for CLP(FD) and CLP(B), and a small computer algebra system (CAS) as well. More...