Desde el punto de vista funcional, y de una manera genérica, la Figura A.1 ilustra la
diferencia entre el modelo de una «máquina procedimental»
y el de una «máquina lógica»
: a la primera hay que darle el algoritmo para resolver el problema, a la segunda sólo
hay que especificarle el problema. El lenguaje de especificación está basado en la lógica
de predicados.
Figura A.1:
Diferencia funcional entre una “máquina procedimental” y una “máquinalógica”.