Text this: Logic programming '88 :