Programming in Prolog: Using the ISO Standard

Mathematical Aspects of Logic Programming Semantics (Chapman & Hall/CRC Studies in Informatics Series)

Deep Reinforcement Learning Hands-On: A practical and easy-to-follow guide to RL from Q-learning and DQNs to PPO and RLHF

ADVANCED PROLOG PROGRAMMING TECHNIQUES: Knowledge representation inference systems and AI reasoning

The Modern Prolog Programmer : An easy and a comprehensive Practical Guide to Logic, Rules, Queries, Unification, Recursion, Search, and Symbolic ... (The Modern Developer's Essential Library)

MERCURY PROGRAMMING FOR LOGIC AND AI SYSTEMS: Declarative programming for AI knowledge bases and optimization

Prolog for Artificial Intelligence: Building Smart Systems with Logic Programming

Foundations of Deep Reinforcement Learning: Theory and Practice in Python (Addison-Wesley Data & Analytics Series)

Prolog for the Intellectual Adventurer

Building Intelligent Systems in Prolog: Master Logic Programming, Unification, Recursion, and Constraint Logic Programming for Real-World AI Applications