Text this: Logic Programming and Automated Reasoning