Списки в Prolog

1. Определение списка.

2. Использование списка.

(1). Список – это упорядоченный набор объектов или элементов, следующих друг за другом. Элементы списка в Prolog должны принадлежать однодоменному типу. Объекты списка могут быть целыми числами, действительными, символами, символьными строками, структурами.

Совокупность элементов списка заключается в квадратные скобки, каждый элемент отделяется запятой.

Пример:

[1, 2, 3, 4] – целочисленный

[0.24, 34.05] – действительный

Список может содержать произвольное число элементов. Ограничением является объём оперативки. Список, который не содержит элементов, называется пустым ([ ]). Обработка списков в Turbo Prolog базируется на разбиении списков на голову и хвост. Голова – это первый элемент, хвост – вся остальная часть.

Пример:

Список	Голова	Хвост
[1, 2, 3, 4] [0.24, 34.05] [“Иванов”] [ ]	0.24 Иванов не определено	[2, 3, 4] [34.05] [ ] не определено

Любой список можно представить в виде бинарного дерева [1, 2, 3, 4] (графическое представление списка).

(2). Для использования списков в Turbo Prolog необходимо:

1. В разделе domains задаётся тип домена или тип элемента:
<Имя домена> = <Тип элемента>.

2. Описать работающий со списком предикат.

3. Ввести или создать в программе собственный список.

При использовании в Prolog списков с произвольным числом элементов применяется метод разделения на хвост и голову списка – это обеспечивает рекурсивную обработку списка и обозначается «|».

Первое правило программы описывает тот факт, что пустой список не нужно печатать. Является условием выхода из рекурсий и является условием для второго правила.

Второе правило гласит: печать списка завершена, когда список пуст.

Свойства списков:

1. Список можно составлять из элементов одного и того же.

2. В список можно добавить элемент.

3. Из списка можно удалить элемент.

4. Элемент из списка можно перераспределить, отсортировать.

Дата добавления: 2014-01-05