Title: Logic and Prolog
Subjects: Logic programming, Prolog (Computer program language)