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



         

Резюме


  • В любой реализации Пролога обычно предусматривается набор встроенных процедур для выполнения различных полезных операций, несуществующих в чистом Прологе. В данной главе мы рассмотрели подобное множество предикатов, имеющееся во многих реализациях.
  • Тип терма можно установить при помощи следующих предикатов:

            var( X)

                        Х - (неконкретизированная) переменная

            nonvar( X)

                  Х - не переменная

            atom( X)

                     Х - атом

            integer( X)

                  Х - целое

            atomic( X)

                  Х - или атом, или целое

  • Термы можно синтезировать или разбирать на части:

            Терм =.. [Функтор [ СписокАргументов]

            functor( Терм, Функтор, Арность)

            arg( N, Терм, Аргумент)

            name( атом, КодыСимволов)

  • Программу на Прологе можно рассматривать как реляционную базу данных, которую можно изменять при помощи следующих процедур:

            аssert( Предл)

                    добавляет предложение Предл к программе

            аssегtа( Предл)

                  добавляет в начало

            asserfz( Предл)




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