Presumably Prolog's unification being one of the most powerful 'pattern matching' mechanisms? http://www.dai.ed.ac.uk/groups/ssp/bookpages/quickprolog/node12.h

Presumably Prolog's unification being one of the most powerful 'pattern matching' mechanisms? http://www.dai.ed.ac.uk/groups/ssp/bookpages/quickprolog/node12.html http://www.dai.ed.ac.uk/groups/ssp/bookpages/quickprolog/nod... [Amused to see that the page I linked to there is over 20 years old!]