Unification of terms

• Similar to ML/Haskell pattern matching

?- p(X,foo) = p(bar,Y). X=bar, Y=foo

?- foo = X. X=foo

?- X = foo. X=foo

?- foo = bar. No

Request to unify

Previous slide

Next slide

Back to first slide

View graphic version