Needed Narrowing as the Computational Strategy of Evaluable Functions in an Extension of Goedel
A programming language that combines the best aspects of both the functional and logic paradigms with a complete evaluation strategy has been a goal of a Portland State University project team for the last several years. I present the third in a series of modifications to the compiler of the logic p...
| Main Author: | |
|---|---|
| Format: | Others |
| Published: |
PDXScholar
1996
|
| Subjects: | |
| Online Access: | https://pdxscholar.library.pdx.edu/open_access_etds/4915 https://pdxscholar.library.pdx.edu/cgi/viewcontent.cgi?article=5987&context=open_access_etds |