Translating fork specifications into logic programs
Baum, Gabriel Alfredo
Translating fork specifications into logic programs - 1 archivo (225,1 KB)
Formato de archivo: PDF. -- Este documento es producción intelectual de la Facultad de Informática - UNLP (Colección BIPA/Biblioteca)
In this work a compiler from fork specifications into logic programs is presented. The technique implemented by the compiler consists of transforming a set of fork equations (with some restrictions) into normal logic programs in such a way that the semantics of the fork equations is preserved. After translating a fork specification, it can be executed by consulting the generated logic program. The fork compiler, a tool for the translation, is also introduced.
DIF-M6853
COMPILADORES
TRADUCCIÓN
PROGRAMACIÓN LÓGICA
REQUERIMIENTOS/ESPECIFICACIONES
Translating fork specifications into logic programs - 1 archivo (225,1 KB)
Formato de archivo: PDF. -- Este documento es producción intelectual de la Facultad de Informática - UNLP (Colección BIPA/Biblioteca)
In this work a compiler from fork specifications into logic programs is presented. The technique implemented by the compiler consists of transforming a set of fork equations (with some restrictions) into normal logic programs in such a way that the semantics of the fork equations is preserved. After translating a fork specification, it can be executed by consulting the generated logic program. The fork compiler, a tool for the translation, is also introduced.
DIF-M6853
COMPILADORES
TRADUCCIÓN
PROGRAMACIÓN LÓGICA
REQUERIMIENTOS/ESPECIFICACIONES