Переменные.

Переменные - это имена, начинающиеся с большой буквы или символа

подчеркивания (для представления анонимной переменной используется оди-

ночный символ подчеркивания). Анонимная переменная используется, когда ее

значение не представляет интереса.

Переменная называется свободной, если она еще не ассоциирована с

термом, а связанной (установленной), когда она связана с термом.