39.Обробка списків в Пролог

Список – це лінійно упорядкована сукупність елементів одного доменного типу. Елементами списку можуть бути цілі числа, дійсні числа, символи, символьні рядки і структури. Порядок розміщення елементів є суттєвою рисою списку; ті самі елементи, упорядковані по-іншому, утворюють уже зовсім інший список. Список може містити довільну кількість елементів, єдиним обмеженням є обсяг оперативної пам’яті комп’ютера. Кількість елементів у списку називається його довжиною. Список, який не містить елементів, називається порожнім, довжина порожнього списку дорівнює нулю. Складові списку зв’язані між собою, тому з ними можна працювати і як із групою (списком у цілому), і як з індивідуальними об’єктами (елементами списку).

У Пролозі дозволяється виконувати зі списками цілий ряд операцій, зокрема: перевірку на належність елемента до списку, вставлення елемента в список, вилучення із списку даного елемента, заміну одного елемента списку іншим, поділ списку на два, злиття двох списків, упорядкування елементів списку.

Список зручно використовувати при створенні баз даних, баз знань, експертних систем, словників тощо.

Список у Пролозі подається множиною елементів, які відокремлюються між собою комами і обмежуються квадратними дужками. Приклад: [1,2,3,4].

Порожній список позначається так: [].

Непорожній список можна розглядати як структуру, яка складається з двох частин: перший елемент списку, який називається головою списку; остання частина списку, яка називається хвостом. Голова є елементом списку, хвіст є списком сам по собі. Якщо хвіст є непорожнім списком, то його знову можна поділити. Якщо список складається з одного елемента, то в ньому можна виділити голову, якою буде цей самий елемент, і хвіст, який є порожнім списком.

Пролог дає можливість явно створювати голову і хвіст списку. Замість відокремлення елементів комами, ви можете розділити голову і хвіст знаком (|).

Наприклад, список [a, b, c] дорівнює списку [a | [b, c]] , який в свою чергу рівний списку [a|[b|[c|[]]]].

Розподільниками можна також комбінувати. Так список [a, b, c, d] можна задати у вигляді [a, b|[c, d]].

Для обробки списків найбільш підходять рекурсивні алгоритми. Обробка списку складається з рекурсивного зсуву і обробки голови списку до тих пір, поки список не стане пустим. Алгоритм такого типу, традиційно має дві фрази. Перша з них говорить, що потрібно робити з списком, а друга - що робити з пустим списком.

40.Прості типи даних системи Пролог

В якості простих даних виступають змінні або ж константи. Константа може бути або ж символьною (char), або ж числовою (integer, real), атомapною (symbol, string).

Змінна позначається ідентифікатором. Ідентифікатор починається з великої букви у діапазоні від А до Z, або ж символом підкреслення (_). Як ми вже зазначали, єдиний символ підчеркування позначає анонімну змінну. В Пролозі змінна може зв’язуватись з любим допустимим аргументом або об’єктом даних. Відмітимо, що змінні Прологу є локальними, а не глобальними. Іншими словами, якщо два пункти мають змінну Х, тоді ці Х є різними змінними.

Константи включають символи, числа і атоми. Значення константи міститься в її імені. Так константа 2 може символізувати тільки число 2, а константа abracadabra може символізувати тільки стрічку abracadabra. Символи. Символи мають тип char, вони будуються з символів коду ASCII. Існує два способи задання символів в якості констант Прологу: безпосередньо, або ж з попереднім символом (). Ось приклад деяких друкованих символів: .f., .4.,.F.. Якщо ж вам потрібно написати символи типу (), (|), (.), тоді перед ними потрібно поставити символ (): (.\.), (.|.), (...). Деякі пари символів позначають спеціальні дії, наприклад: . .-перехід на нову стрічку. . .-повернення каретки. . .-горизонтальна табуляція. Числа. Числа мають тип або іnteger, або real. Цілі містять значення з діапазону від -32768 до 32767 включно. Дійсні зберігаються в форматі ІEEE в проміжку від 1е-308 до 1е308. Атоми. Атом має тип або ж symbol, або ж string. Пролог виконує автоматичне перетворення типів між цими двома доменами.  Ім.я символьних атомів починається з маленької букви.  Стрічкові атоми повинні заключатись в подвійні лапки і можуть містити любу комбінацію дозволених символів PDC Прологу.