26Th International Conference on Logic Programming, Iclp 2010 - Joint Workshop on Implementation of Constraint Logic Programming Systems and Logic-Based Methods in Programming Environments - Ciclops-Wlpe 2010, Date: 15 July 2010 through 15 July 2010, Location: Edinburgh, Scotland, Sponsors: Engineering and Physical Sciences Research Council;hp invent;Microsoft Research;Association for Symbolic Logic;Google;et al