Téorie N1 - Plongée dans Fosses
Correction Examen de Programmation en Logique. Michel Rueher. Mai 2010.
Question 1 (4 pts). Ecrivez une prédicat somme(N,L) qui est vrai si et seulement
si N est la somme des éléments des listes contenues dans L. On suppose que
les listes dans L ne contiennent que des entiers. Exemples : somme(0,[]). somme
(N ...