Title: Introduction to relational programming
Subjects: Metamathematics, Computer programming