A Framework for Incorporating Abstraction Mechanisms into the Logic Programming Paradigm
| dc.contributor.author | Zachary, Joseph Lawrence | en_US |
| dc.date.accessioned | 2023-03-29T15:15:30Z | |
| dc.date.available | 2023-03-29T15:15:30Z | |
| dc.date.issued | 1987-08 | |
| dc.identifier.uri | https://hdl.handle.net/1721.1/149666 | |
| dc.description.abstract | To help make logic programming more suitable for writing large systems, we develop linguistic mechanisms that permit the organization of logic programs around abstractions. In particular, we present the design of Danali, an equational logic programming language that supports predicate and data abstraction. | en_US |
| dc.relation.ispartofseries | MIT-LCS-TR-405 | |
| dc.title | A Framework for Incorporating Abstraction Mechanisms into the Logic Programming Paradigm | en_US |
| dc.identifier.oclc | 18431677 |
