Return to Article Details The Degree of Unsolvability of the Completion Semantics for General Logic Programs Download Download PDF