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