1 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

2 1. mayores(X,[],[]). 2. mayores(X,[Y|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

3

4 Tip: Generar variables nuevas por cada nueva sustitución. Facilitamos la reconstrucción…

5

6

7

8

9

10

11

12

13

14 mayores(3,G,[4,1,5]) 33 Y1->4 W1->[1,5] G->[4|Z1] Unifica con2) mayores(X1,[Y1|Z1],[Y1|W1]):-X1[5] Z1->[1|Z2] 3=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]):-X43 Y4->5 W4->[ ] Z3->[5|Z4] Unifica con3) 3) { "@context": "http://schema.org", "@type": "ImageObject", "contentUrl": "http://images.slideplayer.es/16/5150793/slides/slide_14.jpg", "name": "mayores(3,G,[4,1,5]) 33 Y1->4 W1->[1,5] G->[4|Z1] Unifica con2) mayores(X1,[Y1|Z1],[Y1|W1]):-X1[5] Z1->[1|Z2] 3=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]):-X43 Y4->5 W4->[ ] Z3->[5|Z4] Unifica con3) 3).", "width": "800" } 15 { "@context": "http://schema.org", "@type": "ImageObject", "contentUrl": "http://images.slideplayer.es/16/5150793/slides/slide_15.jpg", "name": "", "description": "", "width": "800" } 16 { "@context": "http://schema.org", "@type": "ImageObject", "contentUrl": "http://images.slideplayer.es/16/5150793/slides/slide_16.jpg", "name": "", "description": "", "width": "800" } 17 { "@context": "http://schema.org", "@type": "ImageObject", "contentUrl": "http://images.slideplayer.es/16/5150793/slides/slide_17.jpg", "name": "", "description": "", "width": "800" } 18 { "@context": "http://schema.org", "@type": "ImageObject", "contentUrl": "http://images.slideplayer.es/16/5150793/slides/slide_18.jpg", "name": "", "description": "", "width": "800" } 19 { "@context": "http://schema.org", "@type": "ImageObject", "contentUrl": "http://images.slideplayer.es/16/5150793/slides/slide_19.jpg", "name": "", "description": "", "width": "800" } 20 { "@context": "http://schema.org", "@type": "ImageObject", "contentUrl": "http://images.slideplayer.es/16/5150793/slides/slide_20.jpg", "name": "", "description": "", "width": "800" } 21 { "@context": "http://schema.org", "@type": "ImageObject", "contentUrl": "http://images.slideplayer.es/16/5150793/slides/slide_21.jpg", "name": "", "description": "", "width": "800" } 22 { "@context": "http://schema.org", "@type": "ImageObject", "contentUrl": "http://images.slideplayer.es/16/5150793/slides/slide_22.jpg", "name": "", "description": "", "width": "800" } 23

15

16

17

18

19

20

21

22

23