(1985)Symposium on logic programming Symposium on logic programming International Symposium on logic Programming (Salt Lake Cith)Symposium on logic programming Symposium on Logic Programming