Title: Programming Logic and Design, Comprehensive
Subjects: Logic programming, Logic design