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

Modules
closedRuntime
openDevelopment
closedKernel
openLanguage
closedDebugger
openInspection
ForeignBase
ForeignMicro
ForeignStore
PropertyTraceFrame
PropertyTraceStore
SpecialFrame
SpecialNotation
SpecialProvable
SpecialSyntax
Base
Frame
Micro
Notation
Provable
Store
Syntax
closedNotebook
closedSystem
closedTesting
closedWire
closedMinlog
closedUtilities
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