Главная

ПРОЕКТ "ЧЕЛОВЕК. ЗЕМЛЯ. ВСЕЛЕННАЯ"

Инструменты пользователя

Инструменты сайта


project:prolog:vnutrennie_programmy_unifikacii_v_prologe



Внутренние программы унификации в Прологе

Пролог имеет внутренние подпрограммы унификации для выполнения сопоставления целей и подцелей с фактами и головами правил для того, что чтобы доказать (или вычислить) эти цели или подцели. Эти же подпрограммы также определяют, сгенерированы ли новые подцели правой часть правила.

Программист в соответствии с логическим синтаксисом Пролога объявляет, какие факты и правила дают тот или иной результат при различных подцелях, а внутренние подпрограммы унификации выполняют оставшуюся часть работы.

Внутренние унификационные подпрограммы также означивают переменные. Означенные переменные и константы имеют значения, «известные» Прологу. Свободные переменные значений не имеют.

!!Рекомендуем: Семейная Энциклопедия ЗдоровьяОбучениеКонсультация аналитикаОглавлениеГлавная сайта

Обсуждение

Ваш комментарий:
K᠎ U F T᠎ F
 
project/prolog/vnutrennie_programmy_unifikacii_v_prologe.txt · Последние изменения: 2012/01/16 13:11 (внешнее изменение)

Вы можете оставить свои комментарии в разделе "Обсуждение".
Рекомендуем оформить подписку на новости данного раздела. Для этого нажмите на кнопку "Подписаться", расположенную справа снизу каждой страницы (знак конверта).


www.work-zilla.com

Индекс цитирования