Programming Logic & Design, Comprehensive

Logic Programming with Prolog

Types in Logic Programming

Programming with Higher-Order Logic

FUNCTIONAL PROGRAMMING AND LOGICAL SYSTEMS DESIGN: Haskell Elixir and declarative problem solving