(1985)Symposium on logic programming Symposium on logic programming Symposium on Logic Programming (Salt Lake Cith)Symposium on logic programming International Symposium on logic Programming Foundations of logic programming Functional and logic programming (1981)Symposium on Computer Arithmetic Inductive logic programming Constraint satisfaction in logic programming