Title: Logic and objects
Subjects: Logic programming