Faculté des Arts et Sciences - Département d ... - Examen corrige

(15 points). Supposons qu'on a déjà défini les prédicats suivants en Prolog: ... Le
prédicat trier/2 trie la liste L1 dans l'ordre décroissant de la valeur numérique.

Part of the document