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

XLOG
Technologies GmbH
Mittlere M├╝hlestrasse 2
8598 Bottighofen
Products Examples Modules Personal Website Deutsch Mobile
User

Examples
closedRuntime
closedDevelopment
openMinlog
closedTutorial
closedBenchSAT
closedBenchTerm
closedBenchmark
openCompliance
openFinite
Bool
Guard
Linear
Sat
Search
Sets
Special
closedHarness
closedMisc
closedTerm
closedCompfreq
closedPackages
AllAktivity
Jan Burse, Transfer of Domicil in 2019
Jan Burse, Jekejeke Prolog 1.4.0 (simple tabling)

(c) 2008-2019 XLOG Technologies GmbH Use Privacy