Text this: Logic,programming,and prolog