New posts in failure-slice

Prolog successor notation yields incomplete result and infinite loop

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