Text this: Software reliability determination for conventional and logic programming /