Nice! Matching is a restricted form of unification that is available in logic programming languages like Prolog. The difference is that in matching, one side i

Nice! Matching is a restricted form of unification that is available in logic programming languages like Prolog. The difference is that in matching, one side is regarded as fixed, whereas unification works both ways.