Title: Logic Programming - New Frontiers
Subjects: Logic programming