Программирование на языке Пролог для искусственного интеллекта


         

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



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

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


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

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


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

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

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

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

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

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


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

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

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

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

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


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