@inbook{
  intro-logic-programming,
  author = {Michael J. O'Donnell},
  title = {Introduction: Logic and Logic Programming Languages},
  chapter = {1},
  booktitle = {Handbook of Logic in Artificial Intelligence and Logic
		  Programming},
  volume = {5, {\em Logic Programming\/}},
  editor = {Dov Gabbay},
  publisher = {Oxford University Press},
  note = to appear
}