Labos

Laboratoire 11: Révisions

Résolution de programmes (Examen Été 2023) Soit le programme suivant : a(_). b(X, Y) :- a(X), c(X, Y). b(2, 5). c(X, Y) :- d(X), e(Y). d(1). d(2). e(3). e(4). Dans la suite de cette question, vous devrez dessiner des arbre de résolution. Pour cela, il est important : d’indiquer les buts à résoudre dans les nœuds de l’arbre d’indiquer les assignations aux variables logiques sur les arcs d’indiquer true comme feuille pour les requêtes qui réussissent, et false.