I.A.
Listas en PrologParte II
Sección Domains
Tiene básicamente 2 propósitos:Dar nombres significativos a los dominios,
a pesar de que internamente sean los mismos dominios que ya existen.
Declarar dominios que no son estandares.
Ejemplo Francisco es un varón de 30 años. Podría presentarse por el predicado: persona(francisco,varon,30). El predicado persona se hubiera declarado en la sección
predicates de la siguiente forma:persona(symbol,symbol,integer)
Ejemplo: domains nombre, sexo = symbol edad = integer predicates persona(nombre,sexo,edad)
Aridad Múltiple
La aridad de un predicado es el número de argumentos que utiliza.
Se puede tener dos predicados en el mismo nombre pero diferente aridad y por tanto diferente significado.
Ejm
domains persona=symbol predicates padre(persona) %persona es el padre padre(persona,persona)%primera persona es padre de la
segunda persona clauses padre(alejandro,zarahi). padre(marco,alejandra). padre(luis,pedro). padre(P):-padre(P,_). %regla que reemplaza a la
definición particular goal padre(P,H). %cada padre con su respectivo hijo
P=alejandro, H=zarahiP=marco, H=alejandraP=luis, H=pedro3 Solutionspadre(P) establece una particularidadpadre(P,_) establece un propiedad o regla
goal
padre(P,_). %quienes son padresogoal
padre(P). %quienes son padres
P=alejandroP=marcoP=luis3 Solutions
Unificación
Visual Prolog busca soluciones de arriba a bajo. Cuando encuentra una cláusula que coincide con la consulta u objetivo, instancia valores para las variables libres de tal forma que la meta y la cláusula se hacen idénticas. A este evento se denomina unificación.
domains titulo,autor=symbol paginas=integer predicates libro(titulo,paginas) escrito_por(titulo,autor) novela_larga(titulo) clauses libro("María",120). libro("La Iliada",300). escrito_por("María","Isaacs"). escrito_por("La Iliada","Homero"). novela_larga(Tit):-libro(Tit,Pag),Pag>150.
%novela larga si cumple goal escrito_por(T,A).
T=María, A=Isaacs T=La Iliada, A=Homero 2 Solutions Primero busca en cláusulas que los predicados
sean iguales, escrito_por, a partir de la tercera cláusula. La meta y la clausula han sido unificadas: T a instanciado el valor “María” y A instanciado el valor “Isaacs”. A continuación el Prolog sigue buscando, libera las variables y continua buscando, luego las variables se vuelven a instanciar T=La Iliada, y A=Homero, por lo tanto reporta 2 soluciones.
goal novela_larga(X). X=La Iliada 1 Solution Objetivo es novela_larga(X), el Prolog,
comienza a busca en las clausulas, coincide con la regla, vincula X con Tit, por lo tanto la novela es larga si cumple, por ello analiza si cumple los sub objetivo de izquierda a derecha:
libro(Tit,Pag) ubica e instancia los valor a las variables Tit<-“María” y Pag<- 120,
Pag > 150 ; 120>150 falso, por lo tanto rechaza lo ubicado, liberando las variables para otro proceso de búsqueda.
libro(Tit,Pag) ubica otro e instancia los valor a las variables Tit<-“La Iliasda” y Pag<- 300,
Pag > 150 ; 300>150 verdad, por lo tanto el cuerpo de la regla se hace verdadero, por lo tanto la cabecera también se hace verdadera.
Prolog remite como solución a La Iliada dado que X=Tit.
Vuelta Atrás (BackTraking)
Para encontrar soluciones, Visual Prolog utiliza una técnica llamada “Backtracking” que consiste en probar diferentes caminos si fracasa en uno de ellos, regresa a un nivel anterior y prueba con otro.
Cuando inicia un intento para satisfacer un objetivo, comienza desde la primera cláusula en búsqueda de una coincidencia.
Cuando una nueva llamada se produce, la búsqueda para esa llamada también comienza desde la primera cláusula.
Una vez que una variable ha sido instanciada, la única forma de liberarla es a través de la vuelta atrás
En objetivos compuestos, sólo se pasa al siguiente sub objetivo si el anterior ha sido exitoso.
Obj:-obj1,obj2,obj3,obj4, trata de cumplir los objetivo de izquierda a derecha, tendría que ir cumpliendo objetivo x objetivo.
predicates gusta(symbol,symbol) sabe(symbol,symbol) comida(symbol) clauses comida(tallarin). comida(estofado). sabe(tallarin,mal). sabe(estofado,bien). gusta(juan,X):-comida(X),sabe(X,bien). goal gusta(juan,C). C=estofado 1 Solution
Primera Busqueda
gusta(juan,C)
gusta(juan,X)
comida(X)
Comida(tallarin) [V]
sabe(X,bien)
tallarin, bien [F]
Segunda Busqueda
gusta(juan,C)
gusta(juan,X)
comida(X)
Comida(estofado) [V]
sabe(X,bien)
estofado, bien [V]
Predicado FAIL
Prolog inicia la vuelta atrás cuando una llamada falla.
Se utiliza el predicado “fail” para producir una falla y por ende forzar a que se realice la vuelta atrás, en busca de otras soluciones.
Ejemplo a)
Ejemplo 13 domains nombre=symbol predicates padre(nombre,nombre) todos clauses padre(leonardo,katty). padre(carlos,jaime). padre(carlos,maria). todos:-padre(X,Y),write(X,"es padre de",Y,"\n"). (regla) goal padre(X,Y). X=leonardo, Y=katty X=carlos, Y=jaime X=carlos, Y=maria 3 Solutions
La idea es que el prolog buscará todas las condiciones que cumplan
Ejemplo b)goal
todos.
leonardo es padre de katty
yes
La idea es que con goal todos, una vez que cumple la regla el prolog para la búsqueda.
Forzando a una falla
Ejemplo c)todos:-padre(X,Y),write(X," es padre de ",Y,"\
n"),fail. goal todos. leonardo es padre de katty carlos es padre de jaime carlos es padre de maria no -> porque a fallado al final.
Ejemplo d) todos:-padre(X,Y),write(X," es padre de ",Y,"\
n"),fail.todos.
goal todos.
leonardo es padre de kattycarlos es padre de jaimecarlos es padre de mariayes
Corte
Se usa para evitar la vuelta atrás.
Se representa por !
Una vez que el corte ha sido ejecutado, es imposible volver atrás en las submetas ubicadas antes del corte en la cláusula que esta siendo procesada y tampoco es posible volver atrás a otros predicados similares al que se está ejecutando.
Regla: r:-a,b,!,c,d,e.
Una vez que verificado los predicados o submetas a,b pasa por el corte y comienza a ver los predicados c,d,e, no pudiendo regresar a verificar los predicados a y b, ni mucho menos a la regla r.
Ejmpredicates
amigo (symbol,symbol)
mujer(symbol)
gusta(symbol,symbol)clauses
mujer(maria).
mujer(juana).
mujer(susana).
gusta(javier,futbol).
gusta(benjamin,susana).
amigo(benjamin,juana):-mujer(juana),gusta(benjamin,juana),!.
amigo(benjamin,javier):-!,gusta(javier,futbol),!.
amigo(benjamin,susana):-mujer(susana).
Goal amigo(benjamin,X).
X=javier1 Solution
Otro ejemplo
predicates literal(byte)clauses literal(X):-X=1,write(X," = uno \n"). literal(X):-X=2,write(X," = dos \n"). literal(X):-X=3,write(X," = tres \n"). literal(X):-write(X," = sorpresa \n").goal literal(1).
1 = uno yes
Agregando
literal(X):-X=1,write(X," = uno \n"),fail.Solucion:
1 = uno 1 = sorpresa
yes
Listas
Ejemplos
Ingreso de datos en una lista domains i=integer li=i* predicates nondeterm ingreso(i,li) nondeterm leer clauses ingreso(0,[]). ingreso(N,L):- N1=N-1, ingreso(N1,L1), write("Ingrese Numero= "), readint(E), L=[E|L1]. leer:- write("Ingrese N= "),readint(N),N>0, ingreso(N,L), write("Lista ","\n",L),nl. goal leer, readln(_).
Dominios Complejos en Prolog
Se denominan también a los dominios complejos estructuras de datos definidas por el usuario, por ejm podría definir el dominio estándar INTEGER pero si quisiera definir un dominio ENTERO el compilador no sabia de que se trata si antes no lo defino previamente.
Cada sección de dominios debe comenzar con la palabra DOMAINS. Ejemplo:
DOMAINS ENTERO = INTEGER
El formato es como sigue: dominio = [reference] [align {byte|word|dword}]
declaracion1;[declaracion2];... dominio: nombre especificado por el usuario. declaracion1; [declaracion2]: declaración de
objetos compuestos alternativos que tienen que tener la forma siguiente: functor([sub_1 [, sub_2, ...] ])
dondefunctor es el nombre del objeto compuesto
alternativo.sub_1 [,sub_2, ...] son subcomponentes
del objeto compuesto que deben tener su correspondiente nombre y dominio. Este último puede ser estándar o definido por el usuario.
reference: indica la declaración de un dominio de referencia. En este tipo de dominios los argumentos de entrada pueden ser variables libres.
align: indica el tipo de distribución de memoria que se va a usar.
Ejmplo
DOMAINSLECTOR = lee(SYMBOL Nombre, LECTURA Item)
LECTURA = libro(SYMBOL Autor, SYMBOL Titulo,
SYMBOL Editorial);
revista (SYMBOL Titulo, INTEGER Numero)