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
openRuntime
openKernel
closedAndroid
closedBuiltin
openInterpreter
AbstractChoice
AbstractDefined
AbstractDefinedMultifile
AbstractSpecial
ChoiceDefined
ChoiceDefinedMultifile
ChoiceInspect
ChoiceInspectMultifile
DefinedBlocking
DefinedBlockingMulti
DefinedGroupLocal
DefinedLockfree
DefinedThreadLocal
Engine
EngineYield
LocalBlocking
LocalLockfree
Predicate
StackElement
Supervisor
closedMolec
closedPretty
openRope
Bouquet
Clause
Directive
Goal
Index
InterfacePairs
InterfaceRope
Intermediate
LoadForce
LoadOpts
Operator
Optimization
PairsArray
PairsHash
RopeArray
RopeHash
closedSwing
closedLanguage
closedFrequent
closedTools
closedDevelopment
openMinlog
closedKernel
closedLanguage
closedFrequent
closedUtilities
AllAktivity
Jan Burse, Jekejeke Prolog 1.4.0 (simple tabling)
Jan Burse, Jekejeke Prolog 1.3.8 (Constrained Optimization)

Helper ChoiceDefined
Helper

(c) 2008-2019 XLOG Technologies GmbH Use Privacy