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

Support
openRuntime
closedKernel
closedLanguage
closedPlatform
closedTools
openFrequent
closedAdvanced
closedBasic
closedExperiment
closedMiscellaneous
closedStandard
closedStream
closedSystem
closedBenchmark
closedBenchdist
closedDevelopment
closedMinlog
closedForum
closedBlog
AllComments
Jan Burse, Jekejeke Prolog 1.2.4 (SAT solver)
Jan Burse, Jekejeke Prolog 1.2.3 (type 1 and type 2 API)

Frequent Packages
Sources
(c) 2008-2017 XLOG Technologies GmbH Use Privacy