Cтраница 2
Предикат not встроен в большинство версий ПРОЛОГа. [16]
Предикат strjen связывает переменную Length с длиной строки String или проверяет, имеет ли String данную длину Length. В случае ( о, i) str len возвращает строку пробелов данной длины. [17]
Предикат readint будет считывать целое значение с текущего входного устройства ( возможно, с клавиатуры), пока не будет нажата клавиша Enter. Если считанная строка не соответствует синтаксису целых, readint терпит неудачу и PDC Prolog вызывает механизм поиска с возвратом. Если во время ввода с клавиатуры нажата клавиша Esc, readint терпит неудачу. [18]
Предикат keypressed завершается успешно, если клавиша нажата или присутствует в буфере клавиатуры. Информация из буфера не удаляется. [19]
Предикат readdevice переопределяет текущее устройство чтения, если переменная SymbolicFileName определена, и файл открыт для чтения. Если SymbolicFileName является свободной переменной, то readdevice присвоит ей имя текущего активного устройства чтения. [20]
Предикат renamefile будет успешен, если файла с именем NewOSFileName еще не существует, и оба имени являются допустимыми. В противном случае будет выдана ошибка. [21]
Предикат, представленный этим выражением, также является рекурсивным предикатом. [22]
Предикат использует поле выбора цвета, аналогичное тому, что появляется, когда вы выбираете режим Setup / Colors из среды языка PDC Prolog. При этом colorsetup ( 0) изменяет цвет окна, colorsetup ( l) - цвет рамки. [23]
Предикат - выражение, грамматически имеющее форму высказывания, но содержащее переменные некоторых подмножеств, на которых они определены. [24]
Предикат здесь описан таким образом, что его следует относить к множеству X как таковому, называя группой само множество. Строго говоря, это неверно, но это молчаливое соглашение освящено давней традицией. [25]
Предикаты и функции представлены в польской ( бесскобочной) записи. NV С), где N - натуральное число, V-список всеобщностных переменных, входящих в дизъюнкт С, который является списком списков, представляющих литеры. Множество дизъюнктов представляется списком списков, представляющих дизъюнкты. [26]
Предикаты и правила в Прологе могут задаваться рекурсивно. Поэтому выразительная мощность Пролога как языка запросов строго выше выразительных возможностей традиционных языков запросов. [27]
Предикат costs вычисляет суммарную стоимость заданной компоненты, начиная с элементарных ее частей. Для этого вызывается цель lookfor, а затем используется цель examine для суммирования стоимостей компонент. Стоимости представлены бинарным предикатом price ( Comp, Cost), содержащим стоимость каждой элементарной компоненты. В рамках данного алгоритма вычисления стоимости цены промежуточных компонент не учитываются. [28]
Предикат в предложениях с глаголами без частицы не обозначает действие ( реже - состояние), которое совершается субъектом, но он не дезактивирован: После горячего чая, под теплым одеялом... [29]
Предикат choice в теле третьего утверждения приводит к тому, что выбирается только одно разбиение Р1 Р2 множества S, а остальные подавляются. Единственное разбиение выбирается недетерминированно. Это означает, что программист не имеет контроля над его реальной структурой. Несколько других агрегативных функций с помощью предиката choice могут быть определены и эффективно реализованы. Интересно отметить, что предикат choice представляет собой обобщение предиката отсечения, используемого в Прологе для непроцедурных сред. [30]