Trapiche
Constraint Logic Programming using Eclipse, de Krzysztof R. Apt · Trapiche