Они существуют? Как они реализованы? Предикаты сопрограммы SWI-Prolog ( freeze , when , dif и т. Д. .) имеют функциональные возможности охранников . Как они вписываются в предпочтительный стиль программирования на Прологе? Я очень...