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