Chapitre 12 - Les systèmes-experts, l'unification
... exercice précédent. (de verif (L BF) (cond. ((null L) t). ((null (ev (car L) BF)) ... (1+ (occ Q1))) lg (1+ cdp) (1+ (occ Q1))) (ret Q1 BF)) (cdr B) (ret (car B) ...
... exercice précédent. (de verif (L BF) (cond. ((null L) t). ((null (ev (car L) BF)) ... (1+ (occ Q1))) lg (1+ cdp) (1+ (occ Q1))) (ret Q1 BF)) (cdr B) (ret (car B) ...