An integration of reduction and logic for programming languages
A new declarative language is presented which captures the expressibility of both logic programming languages and functional languages. This is achieved by conditional graph rewriting, with full unification as the parameter passing mechanism. The syntax and semantics are described both formally and...
| Main Author: | |
|---|---|
| Format: | Others |
| Language: | English |
| Published: |
Rhodes University
1988
|
| Subjects: | |
| Online Access: | http://hdl.handle.net/10962/d1002035 |