Следует отметить, что данный раздел нельзя рассматривать как полный учебник по языку Пролог, а только как краткое введение, служащее для иллюстрации принципов логического программирования, более подробно описанных в [2], [3], [4].
Структура состоит из атома, называемого главным функтором, и последовательности термов, называемых компонентами структуры. Компоненты разделяются запятыми и заключаются в круглые скобки.
Приведем примеры структурированных термов:
собрание (место_проведения),
параметры_собрания (Х,У).
Число компонент в структуре называется арностью структуры. Так, в данном примере структура собрание имеет арность 1 (записывается как объект/1), а структура параметры_собрания - арность 2 (параметры_собрания/2). Заметим, что атом можно рассматривать как структуру арности 0.
Для некоторых типов структур допустимо использование альтернативных форм синтаксиса. Это синтаксис операторов для структур арности 1 и 2, синтаксис списков для структур в форме списков и синтаксис строк для структур, являющихся списками кодов символов.
Структуры арности 1 и 2 могут быть записаны в операторной форме, если атом, используемый как главный функтор в структуре, объявить оператором.
Список есть не что иное, как некоторая структура арности 2. Данная структура становится интересной и чрезвычайно полезной в случае, когда вторая компонента тоже является списком. Вследствие важности таких структур в Прологе имеются специальные средства для записи списков. |
Главная
Каталог файлов
