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