Text this: Logic programming '86 :