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

Products
closedRuntime
closedDevelopment
openMinlog
Download
closedDocumentation
openStudies
closedBenchmark
openReference
Summary
openCoverage
closedfinite
closedmisc
openterm
herbrand
suspend
verify
unify
state
closedResults
closedFrequent
Archive
AllAktivity
Jan Burse, Jekejeke Prolog 1.3.6 (Disjunction Inlining)
Jan Burse, Jekejeke Prolog Runtime Artefacts on GitHub

(c) 2008-2019 XLOG Technologies GmbH Use Privacy