Logic Programming and Automated Reasoning