Email Record: Deductive databases and logic programming /