Jekejeke Logic Programming
 
very user-friendly, exceedingly robust and highly conformant

XLOG
Technologies GmbH
Freisch├╝tzgasse 14
8004 Z├╝rich
Products Examples Modules Personal Website Deutsch Mobile
User

Examples
closedRuntime
openDevelopment
closedTutorial
closedReference
closedFrequent
closedFrequent 2
openMinlog
closedTutorial
closedBenchSAT
openBenchTerm
closedCompat
closedGalery
closedHarness
closedTests
closedBenchmark
closedCompliance
closedCompfreq
closedPackages
AllAktivity
Jan Burse, Jekejeke Prolog 1.4.0 (simple tabling)
Jan Burse, Jekejeke Prolog 1.3.8 (Constrained Optimization)

(c) 2008-2019 XLOG Technologies GmbH Use Privacy