Title: Logic Programming New Frontiers
Subjects: Logic programming