|
|||||||||
| Home >> All >> alice >> [ logictuple overview ] | PREV NEXT | ||||||||
Uses of Package
alice.logictuple
| Classes in alice.logictuple used by alice.logictuple | |
| InvalidLogicTupleException
Exception thrown when a malformed logic logic tuple is created or used |
|
| InvalidVarNameException
Exception indicating a bad name for Variable tuple argument |
|
| LogicTuple
Defines the communication language based on logic tuples, which stand both for tuple and tuple template For logic tuple, the matching is the classic prolog matching and the propagation corresponds to unification. |
|
| TupleArgument
Defines an argument of logic tuple. |
|
| Var
Defines Variable argument of tuples, identified by a name |
|
|
|||||||||
| Home >> All >> alice >> [ logictuple overview ] | PREV NEXT | ||||||||