Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 5: Logic Programming - Gabbay, Hogger, Robinson (Oxford University PressOxford University Press, 2020)