Proceedings : 1986 Symposium on Logic Programming, September 22-25, 1986, Westin Hotel Utah, Salt Lake City, Utah. (IEEE Computer Society Press ; Order from IEEE Computer Society, 1986)