Email Record: Reasoning with logic programming /