Logic Programming with Prolog

Programming with Higher-Order Logic

Latest Advances In Inductive Logic Programming

Mastering Prolog: The Power of Logic Programming

Programmable Logic Controllers: Programming Methods and Applications