Relational Programming: Design and Implementation of a Prototype Interpreter

摘要

Relational programming is a methodology which combines the advantages of functional programming with the relatively simple laws which govern relations. The goal is to give the programmer an environment which allows a higher level of programming abstraction than currently exists, an easier approach to proving programs correct, and a language which can support new parallel architectures. In this thesis, the design and implementation of a prototype interactive interpreter for a relational programming language is presented. The reasoning behind the decision to use LISP as the implementation language is presented followed by an in depth discussion of the design issues involved and the implementation decisions made. How to use the interpreter and future research topics are discussed. Also several appendices are provided which include the grammar, the relational operators implemented, and the documented LISP code. (Author)