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
closedBenchmark
closedCompliance
openCompfreq
openDecimal
Addmul
Expsin
Precision
closedGauss
closedGroebner
closedHarness
closedLeibniz
closedPackages
AllAktivity
Jan Burse, Jekejeke Prolog 1.3.8 (Constrained Optimization)
Jan Burse, Jekejeke Prolog 1.3.7 (Package Airdrop)

Tests Expsin
Tests

(c) 2008-2019 XLOG Technologies GmbH Use Privacy