Contributions to functional programming in logic
| dc.contributor.author | Richards, Bradley Eric | en_US |
| dc.date.accessioned | 2024-08-15T17:36:52Z | |
| dc.date.available | 2024-08-15T17:36:52Z | |
| dc.date.copyright | 1990 | en_US |
| dc.date.issued | 1990 | |
| dc.degree.department | Department of Computer Science | |
| dc.degree.level | Master of Science M.Sc. | en |
| dc.description.abstract | In logic programming, computations are described as relations between inputs and outputs. This is a powerful paradigm, and well-suited to expressing many computations, but there are classes of problems that can be specified more naturally in the functional programming style. Adding functional programming facilities to Prolog results in a more powerful language, as they allow higher-order functional expressions to be evaluated conveniently within the logic programming environment. And, as will be shown in this thesis, the efficiency of functional programming in logic is competitive with other functional evaluation techniques. This thesis presents two methods for evaluating higher-order functional expressions in logic. The first uses equational function definitions as in puts to a logic-based term-rewriting system. The second compiles the same equations into equivalent clauses that can be directly executed by Prolog. Programs are developed for translating between A-expressions and equations, for performing rewriting, and for compiling equations into Prolog clauses. In addition, benchmarks are run to compare the evaluation speed of these methods to a pair of Lisp implementations. | |
| dc.format.extent | 93 pages | |
| dc.identifier.uri | https://hdl.handle.net/1828/19417 | |
| dc.rights | Available to the World Wide Web | en_US |
| dc.title | Contributions to functional programming in logic | en_US |
| dc.type | Thesis | en_US |
Files
Original bundle
1 - 1 of 1
Loading...
- Name:
- RICHARDS_BRADLEY_MSc_1990_513487.pdf
- Size:
- 1.72 MB
- Format:
- Adobe Portable Document Format