4.8 Manipulacion de terminos

Consiste en construir programas que manipulan otros programas proporcionando una mayor expresividad al lenguaje

Predicados

Meta-Lógicos

abuelo(X,Y):-novar(X)

hombre(x), progenitor(x,z), progenitor(z,y).

abuelo(x,y):-novar(y)

progenitor(z,y), progenitor(x,z), hombre(x)

abuelo(x,y):- X es abuelo de Y

X es una variable no instanciada

Permiten controlar el algoritmo de resolución facilitando la meta-programación.

|?- var(x)

X = _

|?- X-1, var(x)

no

Es uno de los más útiles entre la biblioteca standard Prolog:

El predicado functor/3