Package | Description |
---|---|
alice.tuples.javatuples.impl |
Modifier and Type | Class and Description |
---|---|
class |
JTuple |
Modifier and Type | Method and Description |
---|---|
static IJTuple |
JTuplesEngine.toJavaTuple(LogicTuple tuple) |
Modifier and Type | Method and Description |
---|---|
static boolean |
JTuplesEngine.match(IJTupleTemplate template,
IJTuple tuple)
Tests if the given arguments matches according to tuProlog matching rules
for LogicTuples
No unification (a la tuProlog) is performed
|
static boolean |
JTuplesEngine.propagate(IJTupleTemplate template,
IJTuple tuple)
Tries to perform unification (a la tuProlog)
|
static LogicTuple |
JTuplesEngine.toLogicTuple(IJTuple tuple) |