Title: An object-oriented approach to programming logic and design
Subjects: Logic programming, Logic design, Object-oriented programming (Computer science)