Функтор ',' (запятая) определяет конъюнкцию целевых утверждений. Этот функтор был введен в гл. 1. Если X и Y – целевые утверждения, то целевое утверждение X , Y согласуется с базой данных, если согласуется X и Y . Если X согласуется и затем Y не согласуется, то делается попытка найти новое доказательство согласованности для X . Если X не согласуется, то не согласуется и конъюнкция в целом. Это и составляет суть механизма возврата. Функтор Y является встроенным и определен как левоассоциативный инфиксный оператор, так что X , Y , Z эквивалентно (X,Y),Z .
http://www.rightscan.ru/catalog/items/3-tsd CipherLab 9300/9371 - это новое поколение Windows CE терминалов сбора данных, которые спроектированы с учётом самых последних требования.
Опубликовал Kest
July 09 2009 13:14:00 ·
0 Комментариев ·
9137 Прочтений ·
• Не нашли ответ на свой вопрос? Тогда задайте вопрос в комментариях или на форуме! •
Комментарии
Нет комментариев.
Добавить комментарий
Рейтинги
Рейтинг доступен только для пользователей.
Пожалуйста, залогиньтесь или зарегистрируйтесь для голосования.
Нет данных для оценки.
Гость
Вы не зарегистрированны? Нажмите здесь для регистрации.
Главная
Каталог файлов
