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
closedBenchmark
openCompliance
closedFinite
closedHarness
openMisc
Bitprop
Numtheo
closedTerm
closedCompfreq
AllAktivity
Jan Burse, Jekejeke Prolog 1.3.6 (Disjunction Inlining)
Jan Burse, Jekejeke Prolog Runtime Artefacts on GitHub

Tests Bitprop
Prolog Text

Reference Compliance
Sources

(c) 2008-2019 XLOG Technologies GmbH Use Privacy