The Craft of Prolog

@book{craftofprolog-okeefe2009,
   apice = {CraftofprologOkeefe2009},
   author = {O'Keefe, Richard},
   isbn = {978-0262512275},
   isbn10 = {0262512270},
   month = dec,
   publisher = {The MIT Press},
   title = {The Craft of Prolog},
   year = 2009
}