“...International Conference on Logic Programming Imperial College of Science and Technology...”