PrettyCLP: a Light Java Implementation for Teaching CLP. - Alessio Stalla; Davide Zanucco; Agostino Dovier; Viviana Mascardi (CILC, 2011)