41.Структуровані типи даних системи Пролог

Складні об’єкти даних дозволяють вам заключати декілька частин інформації в єдиний пункт. Наприклад, дата 2 квітня 1994 складається з 3 частин. Але іноді їх корисно з’єднати воєдино: date(|April|,2,1989) Так виглядає факт Прологу, в даному випадку - просто об’єкт даних. Він починається з імені або ж функтора (в нашому прикладі date). Функтор не символізує якесь обчислення, яке повинно бути виконаним. Це просто ім’я об’єкту. Аргументи складного об’єкту самі можуть бути складними об’єктами.

Структуровані типи даних:

1. Функції – аргументом функції може бути будь-який терм, але функція повинна містити хоча б один аргумент;

2. Списки – елементом списку може бути будь-який терм, список може мати будь-яку кількість елементів;

3. Порівняння списків – є два шаблони для визначення списків: перечислення та початок і остача, ці шаблони визначають різні внутрішні представлення;

23