Text this: Logic Programming and Knowledge Representation