PRACTICANDO CON PROLOG UNIDAD DOS: SEGUNDA PARTE

UNIDAD DOS: SINTEXIS Y SIGNIFICADO DE LOS PROGRAMAS

Significado procedural

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.

Ejecutar las metas significa tratar de satisfacerlas.

Llamemos a este procedimiento 'ejecuta':

las entradas y salidas a este procedimiento son :

entrada : un programa y una lista de metas.

salida : un indicador de éxito / falla y una instanciación particular de las variables.

el significado de las dos salidas es como sigue :

(1). El indicador de éxito/falla es 'yes' si las metas son satisfactibles y 'no' si ocurre lo contrario. Decimos que 'yes' señala una terminación exitosa y 'no' una falla.

(2). Una instanciación de las variables se produce solamente en el caso de una terminación exitosa; en el caso de una falla no hay instanciación.

Un ejemplo es el siguiente:

Es el codigo que se utiliza para mostrar el significado procedual

Muestra consultas las descripciones verdaderas y falsas.

Bibliografia:

APUNTES DE PROLOG

Edgar Altamirano Carmona    

Universisda Autónoma De Guerrero, 2014