public final class LogicMatchingEngine
extends java.lang.Object
Modifier and Type | Method and Description |
---|---|
static boolean |
match(LogicTuple tupleA,
LogicTuple tupleB)
Tests if the given arguments matches according to tuProlog matching rules
for LogicTuples
No unification (a la tuProlog) is performed
|
static boolean |
propagate(LogicTuple tupleA,
LogicTuple tupleB)
Tries to perform unification (a la tuProlog)
|
public static boolean match(LogicTuple tupleA, LogicTuple tupleB)
tupleA
- the LogicTuple to matchtupleB
- the LogicTuple to matchpublic static boolean propagate(LogicTuple tupleA, LogicTuple tupleB)
tupleA
- the LogicTuple to matchtupleB
- the LogicTuple to match