Интеллектуальные информационные системы. Макаренко С.И. - 121 стр.

UptoLike

ВУЗ: 

МГГУ им. Шолохова | Москва

Составители: 

Рубрика: 

120
сослаться по имени. Переменную можно считать локальным именем для
некоторого объекта.
Синтаксис переменной довольно прост. Она должна начинаться с
прописной буквы или символа подчеркивания и содержать только символы
букв, цифр и подчеркивания.
Переменная, состоящая только из символа подчеркивания, называется
анонимной и используется в том случае, если имя переменной
несущественно.
14.1.3.1 Область действия переменных
Областью действия переменной является утверждение. В пределах
утверждения одно и то же имя принадлежит одной и той же переменной. Два
утверждения могут использовать одно имя переменной совершенно
различным образом. Правило определения области действия переменной
справедливо также в случае рекурсии и в том случае, когда несколько
утверждений имеют одну и ту же головную цель. Этот вопрос будет
рассмотрен далее.
Единственным исключением из правила определения области действия
переменных является анонимная переменная, например, "_" в цели любит
(Х,_)
. Каждая анонимная переменная есть отдельная сущность. Она
применяется тогда, когда конкретное значение переменной несущественно
для данного утверждения. Таким образом, каждая анонимная переменная
четко отличается от всех других анонимных переменных в утверждении.
Переменные, отличные от анонимных, называются именованными, а
неконкретизированные (переменные, которым не было присвоено значение)
называются свободными.
14.1.4 Сложные термы, или структуры
Структура состоит из атома, называемого главным функтором, и
последовательности термов, называемых компонентами структуры.
Компоненты разделяются запятыми и заключаются в круглые скобки.
Приведем примеры структурированных термов:
собака(рекс), родитель(Х,У).
Число компонент в структуре называется арностью структуры. Так, в
данном примере структура собака имеет арность 1 (записывается как
собака/1
), а структура родитель — арность 2 (
родитель/2
). Заметим, что
атом можно рассматривать как структуру арности 0.
Для некоторых типов структур допустимо использование
альтернативных форм синтаксиса. Это синтаксис операторов для структур 
сослаться по имени. Переменную можно считать локальным именем для
некоторого объекта.
      Синтаксис переменной довольно прост. Она должна начинаться с
прописной буквы или символа подчеркивания и содержать только символы
букв, цифр и подчеркивания.
     Переменная, состоящая только из символа подчеркивания, называется
анонимной и используется в том случае, если имя переменной
несущественно.

                14.1.3.1 Область действия переменных

     Областью действия переменной является утверждение. В пределах
утверждения одно и то же имя принадлежит одной и той же переменной. Два
утверждения могут использовать одно имя переменной совершенно
различным образом. Правило определения области действия переменной
справедливо также в случае рекурсии и в том случае, когда несколько
утверждений имеют одну и ту же головную цель. Этот вопрос будет
рассмотрен далее.
      Единственным исключением из правила определения области действия
переменных является анонимная переменная, например, "_" в цели любит
(Х,_). Каждая анонимная переменная есть отдельная сущность. Она
применяется тогда, когда конкретное значение переменной несущественно
для данного утверждения. Таким образом, каждая анонимная переменная
четко отличается от всех других анонимных переменных в утверждении.
     Переменные, отличные от анонимных, называются именованными, а
неконкретизированные (переменные, которым не было присвоено значение)
называются свободными.

                14.1.4 Сложные термы, или структуры

     Структура состоит из атома, называемого главным функтором, и
последовательности термов, называемых компонентами структуры.
Компоненты разделяются запятыми и заключаются в круглые скобки.
     Приведем примеры структурированных термов:
     собака(рекс), родитель(Х,У).
     Число компонент в структуре называется арностью структуры. Так, в
данном примере структура собака имеет арность 1 (записывается как
собака/1), а структура родитель — арность 2 (родитель/2). Заметим, что
атом можно рассматривать как структуру арности 0.
      Для некоторых типов структур допустимо использование
альтернативных форм синтаксиса. Это синтаксис операторов для структур


                                  120

Страницы