Title: Logic Programming '85