Author: International Symposium on Logic Programming (1984 Atlantic City, N.J.)