Jekejeke Logic Programming
XLOG
Technologies GmbH
Freisch├╝tzgasse 14
8004 Z├╝rich
Products Support Personal Website Deutsch Mobile
User

Products
openRuntime
Download
closedDocumentation
openStudies
openBenchmark
Contents
History
Introduction
closedObject
closedOptimizations
closedStrategies
closedInterpreter
closedHarness
openPrograms
closednrev
closedcrypt
openderiv
deriv.p
closedpoly
closedqsort
closedtictac
closedqueens
closedquery
closedmtak
closedperfect
closedcalc
References
closedCompliance
closedDeployment
closedDevelopment
closedMinlog
AllComments
Jan Burse, Jekejeke Minlog 0.7.3 (reasoner integration)
Jan Burse, Jekejeke Prolog 1.0.3 (partially open source)

Benchmark Core Results
Documentation
Sources
(c) 2008-2014 XLOG Technologies GmbH Use Privacy