Advances in Logic Programming Theory - Levi (Oxford University PressOxford University Press, 2023)