IMERIR Examen de Logique formelle et Prolog 2° année - Imérir
24 mai 2004 ... Aucune sortie n'est autorisée pendant la durée de l'examen. ... Corrigé : avec les
tables de vérité , en gras les interprétations qui ..... Donnez la définition du
prédicat compacter(L1,L2) qui construit L2, la forme compacte de L1.