Translating fork specification into logic programs
Gabriel Alfredo Baum, Marcelo Fabian Frias, Nazareno Aguirre, Marcelo Arroyo · El Servicio de Difusión de la Creación Intelectual (National University of La Plata) · 1999
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.