Title: Logic and objects
Subjects: Logic programming, Logic programming (Computer science), Logic, symbolic and mathematical