Anti-unification in Constraint Logic Programming

Gonzague Yernaux, Wim Vanhoof

Anti-unification refers to the process of generalizing two (or more) goals into a single, more general, goal that captures some of the structure that is common to all initial goals…