3ответов 6 как остановить prolog от бесконечного изучения невозможных решений? backtracking failure-slice logic-programming prolog successor-arithmetics