Translating fork specifications into logic programs
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. Afte...
Guardado en:
| Autores principales: | Baum, Gabriel Alfredo, Aguirre, Nazareno Matías, Arroyo, Marcelo |
|---|---|
| Formato: | Articulo |
| Lenguaje: | Inglés |
| Publicado: |
2001
|
| Materias: | |
| Acceso en línea: | http://sedici.unlp.edu.ar/handle/10915/9407 http://journal.info.unlp.edu.ar/wp-content/uploads/pap31.pdf |
| Aporte de: |
Ejemplares similares
-
Translating fork specification into logic programs
por: Baum, Gabriel Alfredo, et al.
Publicado: (2001) -
Functional and logic programming
Publicado: (1997) -
Functional and logic programming
Publicado: (1995) -
The logical basis for computer programming /
por: Manna, Zohar
Publicado: (1985) -
Foundations of logic programming /
por: Lloyd, John Wylie
Publicado: (1984)