Symposium on Logic Programming (3rd 1986 Salt Lake City, Utah)