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.