(Salt Lake Cith)Symposium on logic programming (1985)Symposium on logic programming Symposium on logic programming International Symposium on logic Programming Symposium on Logic Programming Constraint satisfaction in logic programming International symposium on programming 4th European symposium on programming. Foundations of logic programming International Symposium on Programming