New posts in successor-arithmetics

Prolog successor notation yields incomplete result and infinite loop

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