Translating fork specifications into logic programs

• Autores: Gabriel Baum, Nazareno Matías Aguirre, Marcelo Arroyo
• Localización: Journal of Computer Science and Technology, ISSN-e 1666-6038, Vol. 1, Nº. 4, 2001 (Ejemplar dedicado a: Fourth Issue; 3 p.)
• Idioma: inglés
• Enlaces
  • Texto completo
• Resumen

  • 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.