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
openDevelopment
closedTutorial
closedReference
closedFrequent
closedFrequent 2
openMinlog
closedTutorial
closedBenchSAT
closedBenchTerm
closedBenchmark
closedCompliance
openCompfreq
closedDecimal
closedGauss
openGroebner
Nonfrac
Parteval
Simplify
closedHarness
closedLeibniz
closedPackages
AllAktivity
Jan Burse, Jekejeke Prolog 1.4.2 (Actor Model)
Jan Burse, Jekejeke Prolog 1.4.1 (Eager Tabling)

(c) 2008-2020 XLOG Technologies GmbH Use Privacy