Author: Symposium on Logic Programming (2nd 1985 Boston, Mass.)