ECLiPSe Constraint Logic Programming System