Синтаксис

Основы синтаксиса и семантики Пролога

Мы уже написали некое количество программ на Прологе. Но чтобы иметь возможность обобщить используемые в программах элементы ещё раз осознаем основные понятия языка.

Синтаксис

Объекты данных в Прологе называются термами.

Терм может быть константой, переменной, или составным термом.

Константы бывают двух видов: числа и атомы. Они используются для именования конкретных объектов предметной области и отношений между ними.

Обычно имеется два типа чисел: целые и вещественные.

Атомы (или символы) в основном представляют собой

· последовательности произвольных знаков, заключенных в кавычки, или

· последовательности букв, цифр и знаков подчёркивания, начинающейся со строчной буквы

Переменные - последовательности букв, цифр и знаков подчёркивания начинающиеся с прописной буквы или знака подчёркивания.

Переменная, состоящая из единственного символа подчеркивания '_', называется анонимной переменной.

Составной терм. структура – это запись вида атом(терм₁,терм₂,...терм_n).

Атом, стоящий перед скобками, называется функтором, а термы в скобках аргументами или компонентами. Число компонент называют арностью структуры.

Дата добавления: 2015-07-12