Title: Computing with logic
Subjects: Logic programming, Prolog (Computer program language)