Inteligencia Artificial - AYUDA con programacion declarativa

Hola a todos...

Alguien me podria decir si este ejemplo es programación declarativa y por que? se los agradeceria muchisimo.

Ejemplo:
programa:- lee(A),
lee(B),
suma(A,B,S),
imprime(S).
lee(X):- display('dato: '),
read(X).
suma(X,Y,Z):- Z is X + Y.
imprime(X):- display('resultado: '),
write(X).
------------------------------------------------------------------
A la hora de ejecutarlo:
?- programa.
dato: 15.
dato: 13.
resultado: 28
yes