Text this: Logic for Programming and Automated Reasoning