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. After...
| Main Authors: | , , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Postgraduate Office, School of Computer Science, Universidad Nacional de La Plata
2001-05-01
|
| Series: | Journal of Computer Science and Technology |
| Online Access: | https://journal.info.unlp.edu.ar/JCST/article/view/995 |
| Summary: | 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. |
|---|---|
| ISSN: | 1666-6046 1666-6038 |