Logic Programming by Michael Maher