%Source: Random examples used for debugging termination analysis for arithmetic Prolog programs % nonterminating %query: desc(b). desc(X) :- desc(X-1).
content may be truncated. 'popout' for larger text window.