Text this: Logic for programming, artificial Intelligence, and reasoning :