Title: Four relational programs
Subjects: Logic programming, Computer programming