%Source: Random examples used for debugging termination analysis for arithmetic Prolog programs %query:my_divide(f). my_divide(X) :- X >= 0, my_divide(X // 2). my_divide(X) :- 0 is X.
content may be truncated. 'popout' for larger text window.
