Essentials of Logic Programming - Hogger (Oxford University PressOxford University Press, 2023)