Compiling Evaluable Functions in the Godel Programming Language
We present an extension of the Godel logic programming language code generator which compiles user-defined functions. These functions may be used as arguments in predicate or goal clauses. They are defined in extended Godel as rewrite rules. A translation scheme is introduced to convert function def...
| Main Author: | |
|---|---|
| Format: | Others |
| Published: |
PDXScholar
1996
|
| Subjects: | |
| Online Access: | https://pdxscholar.library.pdx.edu/open_access_etds/5101 https://pdxscholar.library.pdx.edu/cgi/viewcontent.cgi?article=6173&context=open_access_etds |