Programación Exploratoria - Predicados Predefinidos en Prolog -

Transcripción

1 Universidad Nacional del Centro de la Provincia de Buenos Aires Facultad de Ciencias Exactas Programación Exploratoria - Predicados Predefinidos en Prolog -

2 Tipos de Predicados Construcción de Predicados o Consultas: and, or, call Análisis Términos: name Igualdad: =, ==, \=,\== Comparación de números: =, \=, <, =<, >, >= Verificación de tipos de términos: atom, integer, atomic, var, nonvar, float, compound Aritmética Entera: +,, *, /, mod, is Construcción de Términos: functor, arg

3 Base de datos de ejemplo Base de datos del TP1, Ej 1. vuelo(buenos_aires, cordoba). vuelo(buenos_aires, santa_rosa). vuelo(buenos_aires, san_juan). vuelo(cordoba, santa_fe). vuelo(cordoba, tucuman). vuelo(cordoba, santa_rosa). vuelo(san_juan, tucuman). vuelo(san_juan, mendoza). vuelo(san_juan, neuquen). vuelo(mendoza, cordoba). vuelo(santa_rosa, san_juan).

4 And Term1, Term2 (and): Es verdadero si Term1 es verdadero y Term2 es verdadero? vuelo(buenos_aires, cordoba), vuelo(cordoba, santa_fe).? vuelo(buenos_aires, cordoba), vuelo(cordoba, posadas). Construcción de Predicados

5 Or Term1; Term2 (or): Es verdadero si Term1 es verdadero o si Term2 es verdadero? vuelo(buenos_aires, cordoba); vuelo(cordoba, posadas).? vuelo(buenos_aires, rio_de_janeiro); vuelo(buenos_aires, sao_pablo). En la definición de reglas, el OR puede reemplazarse por múltiples definiciones ruta(x,y): vuelo(x,y). vuelo(z,y)). ruta(x,y): ruta(x,z), vuelo(z,y). ruta(x,y): vuelo(x,y); (ruta(x,z), Construcción de Predicados

6 Call call(+term): es verdadero si y solo si Term representa un objetivo el cual es verdadero? call( vuelo(buenos_aires, cordoba) ).? call( vuelo(cordoba, posadas) ). Construcción de Predicados

7 Name name(+term,?list): Relaciona un átomo con su lista de caracteres (código ASCII).? name(apple, X). X=[97,112,112,108,101]? name(apple, [97, 112, 112, 108, 101]). Análisis de Términos

8 Igualdad: =, ==, \=, \== En general, = se utiliza para comparar y asignar una variable = considera a una variable libre como igual a cualquier término, dado que siempre puede unificar (matching) con dicho término. == se utiliza sólo para comparar, es más restrictivo == sólo considera a una variable libre igual a otra variable libre Si X==Y, entonces X=Y (pero no al revés) = es el opuesto de \=, y == el opuesto de \==?Term1 =?Term2. (COMPARA Y ASIGNA)?Term1 \=?Term2. (COMPARA Y ASIGNA)?Term1 ==?Term2 (más restrictivo que = ) (SOLO PARA COMPARAR)?Term1 \==?Term2 (más restrictivo que \= ) (SOLO PARA COMPARAR) Igualdad

9 Igualdad Ejemplos? X = Y.? X = 2? X == Y.? X == 2? X=Y, X==Y.? X\=Y.? X\=2.? X\==Y.? X\==2. Igualdad

10 Comparación de números: =, \=, <, =<, >, >= = : Igual \= : Distinto < : Menor =< : Menor o igual > : Mayor >= : Mayor o igual? 1=1.? 1=2.? 1<2.? 1>1.? 1>=1.? 1>1;1=1 Comparación de números

11 Atom atom(+term): el predicado atom tendrá éxito si el argumento es un átomo o una variable instanciada previamente con un átomo Átomos: Son palabras que no requieren de una sintaxis especial. Sin embargo, los átomos que contienen espacios o algunos otros caracteres especiales deben estar rodeados por comillas simples (o los que empiezan con letra capital para distinguirlos de las variables). La lista vacía también es un átomo. Ejemplos de átomos: x, blue, 'Taco', and 'some atom'. Verificación de tipos

12 Atom Ejemplos? atom(abc).? atom( Programación Exploratoria ).? Var=abc, atom(var)., Var=abc El predicado atom fallará si el argumento es una variable sin instanciar, un número o un objeto estructurado (incluyendo una lista) Ejemplo:? atom(x).? atom(13).? atom([1,2,3 [X]]).? atom([]). Verificación de tipos

13 Integer integer(+term): integer tendrá éxito si el argumento es un entero o una variable previamente instanciada con un entero? integer(1).? Var=2, integer(var). Integer fallará si el argumento es una variable sin instanciar, un átomo, un número flotante o un objeto estructurado? integer(var).? integer(abc).? integer(1.3).? integer([a,b,c]). Verificación de tipos

14 Atomic atomic(+term): tendrá éxito si el argumento es un integer, un átomo o una variable previamente instanciada con un átomo o un integer. atomic(x) : integer(x). atomic(x) : atom(x).? atomic(abc).? atomic(1).? Var=abc, atomic(var).? Var=1, atomic(var). atomic fallará si el argumento es una variable sin instanciar o un objeto estructurado? atomic(var).? atomic(a(x,y,z)).? atomic([a,b,c]).? atomic([]). Verificación de tipos

15 Float float(+term): float tendrá éxito si el argumento es un flotante (con punto) o una variable previamente instanciada con un flotante? float(1.3).? float(0). Float fallará si el argumento es una variable sin instanciar, un átomo o un objeto estructurado:? float(var).? float(abc).? float(a(b,c)).? float([a,b,c]). Verificación de tipos

16 Var var(+term): Es verdad cuando +Term es una variable sin instanciar. Una variable sin instanciar puede representar parte de una estructura que aún no ha sido instanciada.? var(x).? Var1=Var2, var(var1). Verificación de tipos Var fallará si el argumento es una variable instanciada, un átomo, un número o un objeto estructurado? var(abc).? var(123).? var(a(x,y,z)).? var([x,y,z]).? X=Y, Y=23, var(x).

17 nvar nonvar(+term): Tiene éxito si Term NO es una variable libre. Es el opuesto del predicado var(+term).? nonvar(abc).? nonvar(1).? nonvar(a(x,y,z)).? nonvar([x,y,z]). nvar fallará si el argumento es una variable sin instanciar? nonvar(var). Si una variable es previamente instanciada también se tiene éxito:? Var=abc, nonvar(var). Verificación de tipos

18 Compound compound(+term): tendrá éxito si el argumento es una estructura o una lista? compound(a(x)).? compound([a, B]). compound fallará si el argumento es una variable sin instanciar, un átomo o un número: Ejemplos:? compound(var). no? compound(abc). no? compound(1). no Verificación de tipos

19 Aritmética Entera: +,, *, /, mod, is + : Suma : Resta * : Multiplicación / : División mod : Módulo is : Comparación/Asignación aritmética? X = 1+2, X=+(1,2)? X is 1+2., X=3? X = 3 mod 2, X=mod(3,2)? X is 3 mod 2, X=1 Aritmética Entera

20 Functor functor(t,f,n): T es una estructura con nombre o functor F y aridad (cantidad de argumentos) N. Este predicado permite extraer el functor y la aridad de un término cualquiera. Pero, al ser reversible, también permite construir nuevos términos a partir del functor y la aridad deseada.? functor(vuelo(buenos_aires, cordoba), vuelo, 2)? functor(vuelo(buenos_aires, cordoba), vuelo, 4) Los modos de uso son ( + instanciado, libre): functor(+termino,+functor,+aridad). functor(+termino, Functor, Aridad). functor( Termino,+Functor,+Aridad). Construcción de términos

21 Functor(T,F,N) Ejemplos Si T está instanciado? functor(vuelo(bsas,cordoba), X, Y)., X=vuelo, Y=2? functor(cordoba, X, Y)., X=cordoba, Y=0 Si T no está instanciado? functor(x, vuelo, 2), X=vuelo(_,_)? functor(x, vuelo, 0), X=vuelo? functor([1,2,3], X, Y)., X=[ ], Y=2 (cabeza y cola) Construcción de términos

22 Arg arg(i,t,a). Permite asignar argumentos a términos (T) construidos con functor. Para ello, se indica el número de índice (I) del argumento (A) deseado, empezando a numerar por el 1 de izquierda a derecha. Los modos de uso es ( + instanciado, libre): arg(+indice,+termino,+argumento). arg(+indice,+termino, Argumento). arg(+indice, Termino,+Argumento). arg( Indice,+Termino,+Argumento). Construcción de términos? arg(2, vuelo(bsas, cordoba), X), X=cordoba? arg(x, vuelo(bsas, cordoba), cordoba), X=2? functor(x, vuelo, 2), arg(1, X, bsas), arg(2, X, cordoba), X=vuelo(bsas, cordoba)

23 Universidad Nacional del Centro de la Provincia de Buenos Aires Facultad de Ciencias Exactas Programación Exploratoria - Predicados Predefinidos en Prolog -