Title: Logic Programming and Nonmonotonic Reasoning
Subjects: Computer programming, Compilers (computer programs), Artificial intelligence