Examen de Programmation en Logique
Examen de Programmation en Logique. Michel Rueher. Mai 2008 - Tous
documents autorisés. La concision et la clarté des réponses seront appréciées
par le correcteur. Éléments de correction. Question 1. Ecrivez une prédicat nieme
(X,N,L) qui est vrai si et seulement si X est l'élément à la positon N dans L. On
suppose ...