Text this: Logic programming and nonmonotonic reasoning