Faculté des Arts et Sciences - Département d'Informatique et de ...
EXAMEN: FINAL-2000A DATE: 20 décembre 2000. LIEU: 1140, Pav. A-A
HEURES: 18h30-21h30 ... Étape 2: transformation en forme clausale: Phrase
donnée: inscrit(X, 'IFT6330') gradué(X) ... Les amis des amis sont des amis: X Y Z
ami(X,Y) ami(Y,Z) ami(X,Z). Il y a un homme dans la salle: X homme(X) ...