Types in Logic Programming

Logic Programming with Prolog

Programming Logic & Design, Comprehensive

Programming with Higher-Order Logic

Latest Advances In Inductive Logic Programming