unificacion: se usa este termino tanto para hablar de una sustitucion de una variable por un termino o un termino por

otro termino. var(X) nonvar(X) hermano(X,Y):?hermano(X,norma) ?hermano(norma,X) ?hermano(felipe,norma) ?hermano(X,Y) hermano(X,Y):-var(X),padre...,x\==Y. hermano(X,Y):-var(X),nonvar(Y),padre..,x\==Y. writeln(X):-write(X),nl. ?write('hola'). hola abuelo(X,Y):-var(X),write(Y),padre..,padre. ?abuelo(X,carmen). X=carmen operador == \== = que hace comparacion de igualdad diferente unificacion(igualar,asignar) no se usara para unificar atomos

que se puede unificar a) las constantes y terminos en general son unificables unicamente con ellos mis mos cte1=cte1 (bien) cte1=cte2 (mal) func(cte1)=func(cte1) (bien) b)X=Y (o bien Y=X) cuando X es una varible no instanciada y Y es una variable ejemplos: ?X=cte. x=cte ?x=cte,write(X),nl cte X=cte ?Y=cte,X=Y. Y=cte X=cte c)dos terminos son unificables si cada uno de sus argumentos lo es: ?func(cte)=fun(X). x=cte ?f(cte,otraf(ctez))=F(X,Y).

X=cte Y=otraf(ctez) d)X=Y (o bien Y=X) cuando X y Y son variables no instancias entoces compartiran el mismo valor de ambito ?f(X)=F(Y),X=2,write(Y),nl. 2 X=2 Y=2 unificacion--->hacer un diagnostico o una prediccion medico O O | --> | --> experto prolog nutricion ___ | | base de conocimiento

medico general o 0 |-->|

tarea: que es un sistema experto ejemplos reales de sistemas expertos H1N1 sintomas de enfermedad