Proceedings of the 12th International Colloquium on Implementation of Constraint and LOgic Programming Systems

Nicos Angelopoulos, Roberto Bagnara

This volume contains the papers presented at CICLOPS'12: 12th International Colloquium on Implementation of Constraint and LOgic Programming Systems held on Tueseday September 4th,…