Negation as Failure. Completeness of the Query Evaluation Process for Horn Clause Programs with Recursive Definitions