и T2; если они сопоставимы,

                               истина, если список целевых утверждений

                               (их конъюнкция) истиннен с точки зрения Прогр

Локальные переменные:

        Цель:  цель

        ДругиеЦели:  список целей

        Достигнуты:   истинностное значение

        Сопоставились:   истинностное значение

        Конкрет:   конкретизация переменных

                Н,   Н',  B1,  B1',  ...,  Вn ,  Вn':

  цели

Вспомогательные функции:

        пycтой( L):   возвращает истину, если L - пустой список

        голoвa( L):   возвращает первый элемент списка L

        хвост( L):   возвращает остальную часть списка L

        конкат( L1, L2):

  создает конкатенацию списков - присоединяет

                список L2 к концу списка L1

        сопоставление( T1, T2, Сопоставились, Конкрет): пытается

                сопоставить термы Т1 и T2; если они сопоставимы, то

                Сопоставились - истина, а Конкрет

представляет

                собой конкретизацию переменных


Содержание  Назад  Вперед

---

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

---

---

---