Néstor Elí Rodríguez Plascencia

Los programas Prolog pueden entenderse de dos maneras: declarativa y proceduralmente.

Significado Declarativo.
El significado declarativo de los programas determina si una meta dada es cierta, y si es el caso, para qué valores de las variables es cierta. Para definir de manera más precisa el significado declarativo, necesitamos introducir antes el concepto de "instancia" de una cláusula.
Una instancia de una cláusula C es la cláusula C con cada una de sus variables sustituidas por algún término. Una "variante" de una cláusula C es una instancia de la cláusula C tal que cada variable se sustituye por otra variable.

Ejercicios. 

1. Considere el siguiente programa:



¿cómo contestará Prolog las siguientes preguntas? Cuando sean posibles varias respuestas, dé al menos dos de ellas.

• . ?- f( s(1), A).

• . ?- f( s(s(1)), dos).

• . ?- f( s(s(s(s(s(s(1)))))), C).

• . ?- f( D, tres). (pregunta 4 y la 5 usando el ";")