Cut (логическое программирование) - Википедия - Cut (logic programming)

Эта статья поднимает множество проблем. Пожалуйста помоги Улучши это или обсудите эти вопросы на страница обсуждения. (Узнайте, как и когда удалить эти сообщения-шаблоны) Эта статья тон или стиль могут не отражать энциклопедический тон используется в Википедии. См. Википедию руководство по написанию лучших статей для предложений. (Февраль 2009 г.) (Узнайте, как и когда удалить этот шаблон сообщения) Эта статья может быть слишком техническим для большинства читателей, чтобы понять. Пожалуйста помогите улучшить это к сделать понятным для неспециалистов, не снимая технических деталей. (Август 2020 г.) (Узнайте, как и когда удалить этот шаблон сообщения) (Узнайте, как и когда удалить этот шаблон сообщения)

В резать, в Пролог, это Цель, записывается как!, что всегда успешно, но не может быть отменено. Лучше всего использовать для предотвращения нежелательных возврат, в том числе поиск дополнительных решений с помощью Prolog и избежание ненужных вычислений.

Разрез следует использовать экономно. В то время как сокращения могут быть вставлены в коды, содержащие ошибки, если в тесте нет необходимости, потому что сокращение гарантирует его истинность, рекомендуется указать это в комментарии в соответствующем месте.^[1]

Некоторые программисты называют разрез спорным средством управления. ^[2] потому что он был добавлен только из соображений эффективности и не Оговорка о роге.

Типы

Зеленый срез

Использование стрижки, которая только повышает эффективность, называется зеленой стрижкой. Зеленые сокращения используются для повышения эффективности программ без изменения вывода программы. Например:

 азартная игра(Икс) :- получить деньги(Икс),!. азартная игра(Икс) :- gotcredit(Икс), \+ получить деньги(Икс).

Это называется зеленый оператор резки. ! говорит переводчику, чтобы он прекратил искать альтернативы; однако, если gotmoney (X) при неудаче он проверит второе правило. Хотя проверка на gotmoney (X) во втором правиле может показаться избыточным, поскольку внешний вид Пролога зависит от gotmoney (X) не удалось раньше, иначе второе правило не было бы оценено в первую очередь. Добавление + gotmoney (X) гарантирует, что второе правило будет работать всегда, даже если первое правило было случайно удалено, изменено или перемещено после второго.

Красный разрез

Разрез, который не зеленый разрез называется красный резать, Например:

 азартная игра(Икс) :- получить деньги(Икс),!. азартная игра(Икс) :- gotcredit(Икс).

Правильное размещение оператора резки и порядок правил необходимы для определения их логического значения. Если по какой-либо причине первое правило удалено (например, вырезать и вставить авария) или перемещен после второго, второе правило будет нарушено, т.е. не будет гарантировать выполнение правила + gotmoney (X).

Рекомендации