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
Tip: Generar variables nuevas por cada nueva sustitución. Facilitamos la reconstrucción…