Title: From standard logic to logic programming
Subjects: Logic programming, Artificial intelligence, Logic