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
openRuntime
closedTutorial
closedTutointer
closedTutofreq
openBenchmark
closedCompatibility
closedGalery
closedGalery2
closedHarness
openTests
Calc
Crypt
Deriv
Mtak
Nrev
Perfect
Poly
Qsort
Queens
Query
Tictac
closedBenchdist
closedDeployment
closedDevelopment
closedMinlog
AllAktivity
Jan Burse, Jekejeke Prolog 1.3.6 (Disjunction Inlining)
Jan Burse, Jekejeke Prolog Runtime Artefacts on GitHub

Test Deriv
Prolog Text

Benchmark Packages
Sources

(c) 2008-2019 XLOG Technologies GmbH Use Privacy