9 Predicados mitologicos

El siguiente ejemplo muestra como se extrae functor y aridad:

?- functor ( termino (arg(1)),Functor,Aridad).
Functor = termino
Aridad = 1
Yes

Manipulación de términos.
El predicado functor es uno de los más útiles entre la biblioteca standard Prolog.
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.
Los modos de uso son:
• functor(+Termino,-Functor,-Aridad).
• functor(-Termino,+Functor,+Aridad).

Predicados meta-lógicos

Ejemplo:

Predicados de Clasificacion
Los predicados meta-lógicos permiten controlar el algoritmo de resolución facilitando la
meta-programación.
4.9 Predicados mitologicos

El siguiente ejemplo muestra como se extrae functor y aridad:

?- functor ( termino (arg(1)),Functor,Aridad).
Functor = termino
Aridad = 1
Yes

Manipulación de términos.
El predicado functor es uno de los más útiles entre la biblioteca standard Prolog.
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.
Los modos de uso son:
• functor(+Termino,-Functor,-Aridad).
• functor(-Termino,+Functor,+Aridad).

Predicados meta-lógicos

Ejemplo:

Predicados de Clasificacion
Los predicados meta-lógicos permiten controlar el algoritmo de resolución facilitando la
meta-programación.
4.9 Predicados mitologicos

El siguiente ejemplo muestra como se extrae functor y aridad:

?- functor ( termino (arg(1)),Functor,Aridad).
Functor = termino
Aridad = 1
Yes

Manipulación de términos.
El predicado functor es uno de los más útiles entre la biblioteca standard Prolog.
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.
Los modos de uso son:
• functor(+Termino,-Functor,-Aridad).
• functor(-Termino,+Functor,+Aridad).

Predicados meta-lógicos

Ejemplo:

Predicados de Clasificacion
Los predicados meta-lógicos permiten controlar el algoritmo de resolución facilitando la
meta-programación.
4.9 Predicados mitologicos

El siguiente ejemplo muestra como se extrae functor y aridad:

?- functor ( termino (arg(1)),Functor,Aridad).
Functor = termino
Aridad = 1
Yes

Manipulación de términos.
El predicado functor es uno de los más útiles entre la biblioteca standard Prolog.
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.
Los modos de uso son:
• functor(+Termino,-Functor,-Aridad).
• functor(-Termino,+Functor,+Aridad).

Predicados meta-lógicos

Ejemplo:

Predicados de Clasificacion
Los predicados meta-lógicos permiten controlar el algoritmo de resolución facilitando la
meta-programación.
4.9 Predicados mitologicos

El siguiente ejemplo muestra como se extrae functor y aridad:

?- functor ( termino (arg(1)),Functor,Aridad).
Functor = termino
Aridad = 1
Yes

Manipulación de términos.
El predicado functor es uno de los más útiles entre la biblioteca standard Prolog.
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.
Los modos de uso son:
• functor(+Termino,-Functor,-Aridad).
• functor(-Termino,+Functor,+Aridad).

Predicados meta-lógicos

Ejemplo:

Predicados de Clasificacion
Los predicados meta-lógicos permiten controlar el algoritmo de resolución facilitando la
meta-programación.
4.9 Predicados mitologicos

El siguiente ejemplo muestra como se extrae functor y aridad:

?- functor ( termino (arg(1)),Functor,Aridad).
Functor = termino
Aridad = 1
Yes

Manipulación de términos.
El predicado functor es uno de los más útiles entre la biblioteca standard Prolog.
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.
Los modos de uso son:
• functor(+Termino,-Functor,-Aridad).
• functor(-Termino,+Functor,+Aridad).

Predicados meta-lógicos

Ejemplo:

Predicados de Clasificacion
Los predicados meta-lógicos permiten controlar el algoritmo de resolución facilitando la
meta-programación.
4.9 Predicados mitologicos

El siguiente ejemplo muestra como se extrae functor y aridad:

?- functor ( termino (arg(1)),Functor,Aridad).
Functor = termino
Aridad = 1
Yes

Manipulación de términos.
El predicado functor es uno de los más útiles entre la biblioteca standard Prolog.
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.
Los modos de uso son:
• functor(+Termino,-Functor,-Aridad).
• functor(-Termino,+Functor,+Aridad).

Predicados meta-lógicos

Ejemplo:

Predicados de Clasificacion
Los predicados meta-lógicos permiten controlar el algoritmo de resolución facilitando la
meta-programación.
4.9 Predicados mitologicos

El siguiente ejemplo muestra como se extrae functor y aridad:

?- functor ( termino (arg(1)),Functor,Aridad).
Functor = termino
Aridad = 1
Yes

Manipulación de términos.
El predicado functor es uno de los más útiles entre la biblioteca standard Prolog.
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.
Los modos de uso son:
• functor(+Termino,-Functor,-Aridad).
• functor(-Termino,+Functor,+Aridad).

Predicados meta-lógicos
Ejemplo:

Predicados de Clasificacion
Los predicados meta-lógicos permiten controlar el algoritmo de resolución facilitando la
meta-programación.
4.9 Predicados mitologicos

El siguiente ejemplo muestra como se extrae functor y aridad:

?- functor ( termino (arg(1)),Functor,Aridad).
Functor = termino
Aridad = 1
Yes

Manipulación de términos.
El predicado functor es uno de los más útiles entre la biblioteca standard Prolog.
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.
Los modos de uso son:
• functor(+Termino,-Functor,-Aridad).
• functor(-Termino,+Functor,+Aridad).

Predicados meta-lógicos

Ejemplo:

Predicados de Clasificacion
Los predicados meta-lógicos permiten controlar el algoritmo de resolución facilitando la
meta-programación.
4.9 Predicados mitologicos

El siguiente ejemplo muestra como se extrae functor y aridad:

?- functor ( termino (arg(1)),Functor,Aridad).
Functor = termino
Aridad = 1
Yes
Manipulación de términos.
El predicado functor es uno de los más útiles entre la biblioteca standard Prolog.
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.
Los modos de uso son:
• functor(+Termino,-Functor,-Aridad).
• functor(-Termino,+Functor,+Aridad).

Predicados meta-lógicos

Ejemplo:

Predicados de Clasificacion
Los predicados meta-lógicos permiten controlar el algoritmo de resolución facilitando la
meta-programación.
4.9 Predicados mitologicos

El siguiente ejemplo muestra como se extrae functor y aridad:

?- functor ( termino (arg(1)),Functor,Aridad).
Functor = termino
Aridad = 1
Yes

Manipulación de términos.
El predicado functor es uno de los más útiles entre la biblioteca standard Prolog.
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.
Los modos de uso son:
• functor(+Termino,-Functor,-Aridad).
• functor(-Termino,+Functor,+Aridad).

Predicados meta-lógicos

Ejemplo:

Predicados de Clasificacion
Los predicados meta-lógicos permiten controlar el algoritmo de resolución facilitando la
meta-programación.
4.9 Predicados mitologicos

El siguiente ejemplo muestra como se extrae functor y aridad:

?- functor ( termino (arg(1)),Functor,Aridad).
Functor = termino
Aridad = 1
Yes

Manipulación de términos.
El predicado functor es uno de los más útiles entre la biblioteca standard Prolog.
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.
Los modos de uso son:
• functor(+Termino,-Functor,-Aridad).
• functor(-Termino,+Functor,+Aridad).

Predicados meta-lógicos

Ejemplo:

Predicados de Clasificacion
Los predicados meta-lógicos permiten controlar el algoritmo de resolución facilitando la
meta-programación.
4.9 Predicados mitologicos

El siguiente ejemplo muestra como se extrae functor y aridad:

?- functor ( termino (arg(1)),Functor,Aridad).
Functor = termino
Aridad = 1
Yes

Manipulación de términos.
El predicado functor es uno de los más útiles entre la biblioteca standard Prolog.
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.
Los modos de uso son:
• functor(+Termino,-Functor,-Aridad).
• functor(-Termino,+Functor,+Aridad).

Predicados meta-lógicos

Ejemplo:

Predicados de Clasificacion
Los predicados meta-lógicos permiten controlar el algoritmo de resolución facilitando la
meta-programación.
4.9 Predicados mitologicos

El siguiente ejemplo muestra como se extrae functor y aridad:

?- functor ( termino (arg(1)),Functor,Aridad).
Functor = termino
Aridad = 1
Yes

Manipulación de términos.
El predicado functor es uno de los más útiles entre la biblioteca standard Prolog.
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.
Los modos de uso son:
• functor(+Termino,-Functor,-Aridad).
• functor(-Termino,+Functor,+Aridad).

Predicados meta-lógicos

Ejemplo:

Predicados de Clasificacion
Los predicados meta-lógicos permiten controlar el algoritmo de resolución facilitando la
meta-programación.
4.9 Predicados mitologicos
El siguiente ejemplo muestra como se extrae functor y aridad:
?- functor ( termino (arg(1)),Functor,Aridad).
Functor = termino
Aridad = 1
Yes

Manipulación de términos.
El predicado functor es uno de los más útiles entre la biblioteca standard Prolog.
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.
Los modos de uso son:
• functor(+Termino,-Functor,-Aridad).
• functor(-Termino,+Functor,+Aridad).

Predicados meta-lógicos

Ejemplo:

Predicados de Clasificacion
Los predicados meta-lógicos permiten controlar el algoritmo de resolución facilitando la
meta-programación.
4.9 Predicados mitologicos

El siguiente ejemplo muestra como se extrae functor y aridad:

?- functor ( termino (arg(1)),Functor,Aridad).
Functor = termino
Aridad = 1
Yes

Manipulación de términos.
El predicado functor es uno de los más útiles entre la biblioteca standard Prolog.
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.
Los modos de uso son:
• functor(+Termino,-Functor,-Aridad).
• functor(-Termino,+Functor,+Aridad).

Predicados meta-lógicos

Ejemplo:

Predicados de Clasificacion
Los predicados meta-lógicos permiten controlar el algoritmo de resolución facilitando la
meta-programación.