Proceedings of CICLOPS 2007 7 th International Colloquium on Implementation of Constraint and LOgic Programming Systems Salvador Abreu and Vitor Santos Costa September 8, 2007 Porto, Portugal I