Книги автора: ПРОГРАММИРОВАНИЕ НА ЯЗЫКЕ ПРОЛОГ
/ Книги автора: ПРОГРАММИРОВАНИЕ НА ЯЗЫКЕ ПРОЛОГ
Книга: ПРОГРАММИРОВАНИЕ НА ЯЗЫКЕ ПРОЛОГ
X is Y
X is Y
Y должен быть конкретизирован структурой, которую можно интерпретировать как арифметическое выражение (см. разд. 2.4). Сначала вычисляется выражение, которым конкретизирован Y, и получается целое число, называемое результатом. Результат сопоставляется с X, и is считается согласованным или несогласованным в зависимости от исхода сопоставления. Ниже описываются функторы, которые могут быть использованы для построения структуры, расположенной справа от предиката is.
Похожие страницы
- Часть I: опыт работы
- 3.6. Омонимы
- Секрет 2. Все дело в моменте!
- 4.6.2 Variables View
- Функция strlen( )
- З.2.3. Сброс пароля администратора Windows 7 средствами самой системы
- Раздел 4. Кадры решают все! (От кого зависит безупречное исполнение Закона).
- Идеология навигации
- Исходный сюжет: улучшение водоснабжения в Иордании – для людей, силами людей, через партнерство
- Иерархия целей
- 2.5.6 команда return (выдать, вернуться)
- Как спасти человечество, а затем починить сливной бачок?