SEMANTICA DE LOS PROGRAMAS LOGICOS

SEMANTICA DE LOS PROGRAMAS LOGICOSLa semntica da significado a los programas y nos permite describir formalmente lo que calculan. Para esto estudia los signos (parntesis, cuantificados, etc.), las variables y constantes, los predicados y las reglas.

SEMANTICA DE LOS PROGRAMAS LOGICOS

La Programacin en Lgica se basa en un subconjunto del Clculo de Predicados, conocido como Lgica de Horn.

Un programa lgico es un conjunto de clusulas de Horn.Una clusula de Horn es una clusula con a lo mximo un literal positivo.Una clusula es una disyuncin de literales.Un literal es un predicado o su negacin.Basamentos Tericos Hay tres maneras bien conocidas de dar significado o semntica a los programas lgicos:

La semntica declarativa

La semntica operacional

La semntica detonacional (comnmente llamada semntica de punto fijo)LA SEMNTICA DECLARATIVALa Semntica Declarativa se basa en la simple idea de interpretar/considerar a un programa lgico como lo que es: un conjunto de clusulas. expresadas en una determinada teora formal.

LA SEMNTICA OPERACIONALLa semntica operacional de los programas lgicos est basada en el mtodo de resolucin de Robinson, aplicado a clusulas de Horn. Esto supone una limitacin tanto sintctica como semntica que, a pesar de las ventajas tericas y prcticas que trae consigo, restringe en algunos casos la aplicabilidad de la Programacin en Lgica

La forma ms simple de definirla es proporcionar un intrprete para el lenguaje L sobre la mquina M cuyas componentes se describen de modo matemtico.

La definicin semntica operacional de un lenguaje lo hace ejecutable.

LA SEMNTICA DE PUNTO FIJO (DENOTACIONAL)la semntica denotativa tiene que ver con la bsqueda de objetos matemticos denominados dominios que representan los programas que lo hacen. Por ejemplo, los programas pueden ser representados por funciones parciales o juegos entre el medio ambiente y el sistema.

Un principio importante de la semntica denotativa es que la semntica debe ser de composicin: la denotacin de una frase del programa debe construirse a partir de las denotaciones de sus subfrases.