A Meta Constraint Logic Programming Scheme Universit a Degli Studi Di Bologna a Meta Constraint Logic Programming Scheme