PROLOG 2.3 SIGNIFICADO DECLARATIVO

Ejemplo de Significado Declarativo

1.- Realice el siguiente programa.

 f( 1, uno).

f( s(1), dos).

f( s(s(1)), tres).

f( s(s(s(X))), N) :- f( X, N).

En prolog.

Fig.1 Código en prolog.

Fig.2  Consultas a prolog.

En las figuras anteriores se ilustran las imagenes de un ejercio editado en Swi-prolog-editor y ejecutado en prolog. Si hay alguna duda, comentela.

Bibliografia: Apuntes de prolog.pd