Email Record: Constraint satisfaction in logic programming /