Microsoft Word Книга иис мггу 1 Print doc

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

---

122 
арности 1 и 2, синтаксис списков для структур в форме списков и синтаксис 
строк для структур, являющихся списками кодов символов.