Pattern matching in c++

Nice!<p><i>Matching</i> is a restricted form of <i>unification</i> 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.