Reconnaisance de motifs

Le prédicat match(X,Y) réussit si X s'unifie avec Y mais n'instancie aucune variable de Y.