|
public unify ( FOLNode x, FOLNode y ) : Term>.Dictionary |
||
| x | FOLNode | |
| y | FOLNode | |
| Результат | Term>.Dictionary | |
public Dictionary<Variable, Term> unify(FOLNode x, FOLNode y)
{
return unify(x, y, new Dictionary<Variable, Term>());
}
