1We say that H matches P if H and P have the same form (i.e., that it is possible to instantiate the wildcards of P to obtain exactly H).

For instance, xx = yy + 3 - min(4 .. 7) is matched by: