|
Kernel Prolog with Fluent based Builtins | |||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||
| Packages that use tarau.jinni | |
| tarau.jinni | |
| tarau.jinnigui | |
Classes in tarau.jinni used by tarau.jinni| BlackBoard
|
This class implementes generic multiple tuples by key operations for use by the PrologBlackBoard class implementing Linda operations on Prolog terms. Builtins
|
This class contains a dictionary of all builtins i.e. CharReader
|
Builds Jinni Fluents from Java Streams CharWriter
|
Writer Clause
|
Datatype for a Prolog clause (H:-B) having a head H and a body b Cons
|
List Constructor. Const
|
Symbolic constant, of arity 0. ConstBuiltin
|
Template for builtins of arity 0 constToken
|
DataBase
|
Implements a Term and Clause objects based blackboard (database). Fluent
|
A Fluent is a Jinni Object which has its own state, subject to changes over time. Fun
|
Implements compound terms FunBuiltin
|
Template for builtins of arity >0 HashDict
|
General purpose dictionary Int
|
IOPeer
|
JavaSource
|
Builds Jinni Iterators from Java Sequences and Iterator type classes Lexer
|
Lexicographic analyser reading from a stream Nil
|
Special constant terminating a list Nonvar
|
Part of the Prolog Term hierarchy Num
|
Abstract numeric class, part of the Term hierarchy Parser
|
Simplified Prolog parser: Synatax supported: a0:-a1,...,an. Prog
|
Basic toplevel Prolog Engine. Queue
|
Generic dynamic Queeue with (amortized) O(1) enq/deq (add and remove) operations Sink
|
Source
|
SystemObject
|
A SystemObject is a Jinni Nonvar with system assigned name Term
|
Top element of the Prolog term hierarchy. Token
|
Trail
|
Implements a stack of undo actions for backtracking, and in particular, resetting a Var's val fiels to unbound (i.e. Var
|
Part of the Term hierarchy implmenting logical variables. |
|
Classes in tarau.jinni used by tarau.jinnigui| Builtins
|
This class contains a dictionary of all builtins i.e. Const
|
Symbolic constant, of arity 0. Fun
|
Implements compound terms FunBuiltin
|
Template for builtins of arity >0 HashDict
|
General purpose dictionary IOPeer
|
Nonvar
|
Part of the Prolog Term hierarchy Prog
|
Basic toplevel Prolog Engine. Term
|
Top element of the Prolog term hierarchy. |
|
|
Kernel Prolog with Fluent based Builtins | |||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||