требует две позиции для сравнивающих

                nl, write( 'Пробую'), write( ИмяСовета),

                выполн_совет( ИмяСовета, Поз, ФорсДер),  !.

        выполн_совет( ИмяСовета, Поз, Фдер) :-

                совет( ИмяСовета, Совет),

                                        % Найти элементарный совет

                выполн( Совет, Поз, Поз, ФДер).

                % "выполн" требует две позиции для сравнивающих предикатов

        выполн( Совет, Поз, КорнПоз, ФДер) :-

                поддержка( Совет, ЦП),

                удовл( ЦП, Поз, КорнПоз),

                                        % Сопоставить Поз с целью-поддержкой

                выполн1( Совет, Поз, КорнПоз, ФДер).

        выполн1( Совет, Поз, КорнПоз, nil) :-

                главцель( Совет, ГлЦ),

                удовл( ГлЦ, Поз, КорнПоз),  !.

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

---

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

---

---

---