Examen de Programmation en Logique
Examen de Programmation en Logique. Michel Rueher. Mai 2008 - Tous
documents autorisés ... valeurs des positions j et i est positive (resp. négative ou
nulle) ?- differences([1,2,3,2,1,1,6,5],L). ... Soit la DCG suivante qui analyse et
évalue une expression arithmétique: expr(Z) --> term(X), "+", expr(Y), {Z is X + Y}.
expr(Z) ...