PROLOG: CAPITULO 2 EJERCICIO 3
SIGNIFICADO PROCEDUAL
El significado procedural especifica el cómo contesta Prolog a las preguntas. Responder
a una pregunta significa tratar de satisfacer una lista de metas. Estas pueden satisfacerse
si las variables que existen en las metas pueden instanciarse de tal modo que las metas se
sigan lógicamente del programa. Así el significado procedural de Prolog es un
procedimiento para ejecutar una lista de metas con respecto a un programa dado.
En el siguiente ejemplo se hace una traza de la ejecución para ilustrar el significado procedural de Prolog :
CONSULTAS REALIZADAS CONFORME A LA INFORMACIÓN (CLAUSULAS) Y UNAS EXTRAS
No hay comentarios.:
Publicar un comentario