Corrigé de l'examen de programmation fonctionnelle et logique Corrigé de l'examen de programmation fonctionnelle et logique. Lundi 10
septembre 2001 ... Commencez par lire le sujet dans son intégralité. ? Les
exercices sont ..... Exercice 3 : élaboration de menus (en SWI-Prolog). 1. ´Ecrivez
un prédicat ...
corrigé de l'examen 8 janv. 2007 ... Master 1 Informatique 2006-2007. Corrigé préliminaire. Examen. Remarque : l'
indication des points par exercice, indicative de l'évaluation `a venir, est
susceptible d'être ... A ce point l'algorithme retournera la substitution identité ?. ....
4 let rec map2 f l1 l2 = Pair (f (hd l1) (hd l2), (fun () -> map2 f (tl l1) (tl l2)));;.