Evaluable Functions in the Godel Programming Language: Parsing and Representing Rewrite Rules
The integration of a functional component into a logic language extends the expressive power of the language. One logic language which would benefit from such an extension is Godel, a prototypical language at the leading edge of the research in logic programming. We present a modification of the God...
| Main Author: | |
|---|---|
| Format: | Others |
| Published: |
PDXScholar
1995
|
| Subjects: | |
| Online Access: | https://pdxscholar.library.pdx.edu/open_access_etds/5195 https://pdxscholar.library.pdx.edu/cgi/viewcontent.cgi?article=6267&context=open_access_etds |