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
closedRope
closedSwing
closedLanguage
closedFrequent
openTools
closedArray
closedBundle
closedCall
closedForeign
closedProxy
closedTerm
openDevelopment
closedKernel
closedLanguage
closedMinlog
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