Christopher John HoggerBooksHandbook of logic in artificial intelligence and logic programmingIntroduction to logic programmingEssentials of logic programmingAuthor data: Open Library