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.
No hay comentarios:
Publicar un comentario