Email Record: Functional and constraint logic programming :