Cтраница 4
Использование отсечения делает предикат R детерминированным. Конструкция такого типа весьма похожа на оператор CASE в процедурных языках программирования. [46]
Алгоритм отсечения ( алгоритм Гомори) состоит из следующих шагов. [47]
Полигоны отсечения ( clip polygons) отмечают все области вне полигона как находящиеся вне зоны интерполяции для модели. [48]
Полигоны отсечения ( clip polygons) отвечают все области вне полигона как находящиеся вне зоны интерполяции для модели. [49]
Функционирование отсечения может быть описано только в терминах процедурной интерпретации ПРОЛОГ-программ. Это означает, что ответственность за последствия использования отсечения и управление вычислением возлагается на программиста. Необходимость включения отсечения в состав языка ПРОЛОГ постоянно оспаривается теми, кто хочет видеть ПРОЛОГ чисто логическим языком программирования. Эти возражения опираются на следующие доводы. [50]
Наличие отсечения в дизъюнкте / 1 / делает невозможным обнаружение других ответов. [51]
Использование отсечения только по прямоугольным областям заметно ускоряет и упрощает процесс отсечения, но за это приходится расплачиваться несколькими вызовами функции рисования для областей, являющихся объединением нескольких прямоугольников. [52]