Text this: Logic programming and knowledge engineering