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
closedDevelopment
openMinlog
closedTutorial
closedBenchSAT
closedBenchTerm
openBenchmark
closedGalery
closedHarness
openTests
Crypt3
Grocery3
Money3
Pigeon3
Pythago3
Queens3
Wolfram3
Zebra3
closedCompliance
closedCompfreq
closedPackages
AllAktivity
Jan Burse, Jekejeke Prolog 1.4.0 (simple tabling)
Jan Burse, Jekejeke Prolog 1.3.8 (Constrained Optimization)

Test Pigeon3
Test

(c) 2008-2019 XLOG Technologies GmbH Use Privacy