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

Logic Programming with Prolog

Lisp for the New AI: Architecting Intelligent Agents and Symbolic Logic Systems with Modern Functional Programming

Programming with Higher-Order Logic

FUNCTIONAL PROGRAMMING ENGINEERING WITH ELM AND F#: Building reliable side-effect-free systems through pure functions and composable logic