| org.mandarax.kernel.UnificationAlgorithm
| UnificationAlgorithm | | public interface UnificationAlgorithm (Code) | | Interface of a unification algorithm used to promote modularity of inference engines.
author:
Jens Dietrich
version:
3.4 <7 March 05>
since:
1.0
since:
Prova re-integration modifications
author:
Alex Kozlenkov
version:
3.4 <7 March 05> |
| unify | | Unification unify(Term[] t1, Term[] t2, Session session)(Code) | | Unify the two arrays of terms. Return Unification.noUnificationPossible if unifiction fails.
the unification computed
Parameters:
t1 - the first array of terms
Parameters:
t2 - the second array of terms
Parameters:
session - a session |
| unify | | Unification unify(Term[] t1, Term[] t2, boolean isRule)(Code) | | Prova version.
Unify the two arrays of terms. Return Unification.noUnificationPossible if unifiction fails.
the unification computed
Parameters:
t1 - the first array of terms
Parameters:
t2 - the second array of terms |
|
|