Title: Relational programming:  design and implementation of a prototype interpreter
Subjects: Computer science