New posts in non-termination

Prolog successor notation yields incomplete result and infinite loop

prolog infinite-loop failure-slice successor-arithmetics non-termination