Resolución de Objetivos Se recorren las reglas de arriba abajo y de izquierda a derecha Buscamos hechos o cabezas de reglas que unifiquen con la meta actual –Si es cabeza de regla, aplicamos la sustición a la parte derecha y las agregamos como metas La búsqueda es DFS Si una prueba falla volvemos al punto donde se tomo la última decisión
1. mayores(X,[],[]). 2. mayores(X,[Y|Z],[Y|W]):-X<Y,mayores(X,Z,W). 3. mayores(X,Z,[Y|W]):-X>=Y,mayores(X,Z,W). Si es mgu de Bi y C Regla de resolución En mayores(X, L1, L) L1 son los elementos mayores a X de la lista L
Tip: Generar variables nuevas por cada nueva sustitución. Facilitamos la reconstrucción…
mayores(3,G,[4,1,5]) 3<4,mayores(3,Z1,[1,5]) X1->3 Y1->4 W1->[1,5] G->[4|Z1] Unifica con2) mayores(X1,[Y1|Z1],[Y1|W1]):-X1<Y1,mayores(X1,Z1,W1). 1.mayores(X,[],[]). 2.mayores(X,[Y|Z],[Y|W]):-X<Y,mayores(X,Z,W). 3.mayores(X,Z,[Y|W]):-X>=Y,mayores(X,Z,W). Dado que3<4se satisface mayores(3,Z1,[1,5]) Unifica con2) mayores(X2,[Y2|Z2],[Y2|W2]):-X2<Y2,mayores(X2,Z2,W2). X2->3 Y2->1 W2->[5] Z1->[1|Z2] 3<1falla Backtracking al nodo donde hizo la última decisión Unifica con3) mayores(X3,Z3,[Y3|W3]):-X3>=Y3,mayores(X3,Z3,W3). X3->3 Y3->1 W3->[5] Z1->Z3 3>=4,mayores(3,Z3,[5]) mayores(3,Z3,[5]) 3>=1es cierto Unifica con2) mayores(X4,[Y4|Z4],[Y4|W4]):-X4<Y4,mayores(X4,Z4,W4). X4->3 Y4->5 W4->[ ] Z3->[5|Z4] Unifica con3) 3)