Compilación de programas lógicos que utilizan la negación por falla

Abstract

Con el objetivo de disponer de un lenguaje que capture los aspectos del razonamiento rebatible, se ha desarrollado un lenguaje de programación en lógica rebatible como una extensión de la programación en lógica convencional, el cuál fue presentado en los trabajos [12] y [1]. Actualmente se está desarrollando una máquina abstracta para los programas lógicos rebatibles, y luego se construirá un interprete en base a esta máquina a.bstracta, utilizando la semántica definida en (12]. De esta forma, se podrá obtener un sistema de características mas adecuadas para la programación de sistemas basados en conocimiento. Este trabajo constituye el primer paso en ese sentido extender la máquina abstracta de Warren para permitir utilizar la negación por falla. La máquina abstracta de Warren, o Warren Abstract Machine (WAM) ha sido aceptada como un estándar para la implementación de Prolog, y por este motivo se la ha utilizad.o como punto de partida de este desarrollo. Como los programas lógicos rebatibles utilizan la negación por falla, el objetivo principal de este trabajo es extender la máquina abstracta de Warren para incluir un conjunto de instrucciones que permita utilizar la negación por falla como un operador predefinido en el lenguaje. Además, se presenta el desarrollo de un compilador que traduce un programa lógico a instrucciones WAM, un soporte de ejecución para administrar la memoria de la arquitectura abstracta, y por último un intérprete que ejecuta el conjunto de instrucciones WAM.