Email Record: Software reliability determination for conventional and logic programming /