Robert A. Kowalski Directions for Logic Programming. 2-7 1985 SLP db/conf/slp/slp85.html#Kowalski85