3ответов 6 как остановить prolog от бесконечного изучения невозможных решений? backtracking failure-slice logic-programming prolog successor-arithmetics
3ответов 6 Будет ли использование элемента в предложении forall в SWI-Prolog всегда выводить элементы в том же порядке? iso-prolog prolog swi-prolog
4ответов 6 Определение операторов, включая вертикальные полосы (|) в SWI-prolog operators prolog swi-prolog