Email Record: Residuation and guarded rules for constraint logic programming /