Title: Logic Programming
Subtitle: Prolog and its applications