تگ: Constraint Logic Programming