International Conference on Logic Programming. (3rd 1986 Imperial College of Science and Technology)