более общий, чем Т2, или

        выд_трассу( [Цель по Прав | Трасса] ) :-

                nl, write( 'Чтобы проверить по' ),

                write( Прав), write( ', что'),

                write( Цель),

                выд_трассу( Трасса).

        конкретный( Терм) :-

                нумпер( Терм, 0, 0).

               % Нет переменных в Терм'е

% конкретизация( Т1, Т2) означает, что Т2 - конкретизация Т1,

% т.е. терм Т1 - более общий, чем Т2, или той же степени

% общности, что и Т2

        конкретизация( Терм, Терм1) :-

                                        % Терм1 - частный случай Терм 'а

                копия( Терм1, Терм2),

                                        % Копия Терм1 с новыми переменными

                нумпер( Терм2, 0, _),  !,

                Терм = Терм2.            % Успех, если Терм1 - частный случай Терм2


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

---

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

---

---

---