Kernel Prolog with Fluent based Builtins

Uses of Package
tarau.jinni

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