. Мова Prolog. Складні терми, або структури
Структурні об'єкти (або просто структури) - це об'єкти, які складаються з декількох компонент. Ці компоненти в свою чергу можуть бути структурами. Наприклад, дату можна розглядати як структуру, що складається з трьох компонент: день, місяць, рік. Хоча вони і складені з декількох компонент, структури в програмі поводяться як єдині об'єкти. Для того, щоб об'єднати компоненти в структуру, потрібно вибрати функтор. Для нашого прикладу підійде функтор date. Тоді дату 1-е травня 1983 можна записати так. p align="justify"> date (1, may, 1983).
Всі компоненти в даному прикладі є константами (дві компоненти-цілі числа і одна-атом). Компоненти можуть бути також змінними або структурами. Довільний день в травні можна уявити структурою
date (Day, may, 1983).
Зауважимо, що Day є змінною і їй можна приписати довільне значення на деякому більш пізньому етапі обчислень.
Синтаксично всі об'єкти даних у Пролозі являють собою терми. Наприклад,
May
і
date (1, may, 1983)
суть терми.
Наступний приклад показує, як можна використовувати структури для представлення геометричних об'єктів.
В
Рис 7. Прості геометричні об'єкти. br/>
Точка в двовимірному просторі визначається двома координатами; відрізок двома точками, а трикутник можна задати трьома крапками. Введемо наступні функтори:
tochka для точок
otrezok для відрізків і
treugolnik для трикутників
Тоді об'єкти представлені на Рис. 7. можна представити наступними прологовскімі термами:
P1 = tochka (1, 1) = tochka (2, 3) = otrezok (P1, P2) =
otrezok (tochka (1, 1), tochka (2, 3)) = treugolnik (tochka (1, 1), tochka (7, 1), tochka (6, 4))
Якщо уявити ці об'єкти у вигляді дерев (Мал. 8) (як втім і будь-які інші об'єкти), то функтор, службовець коренем дерева називається головним функтором терма.
В
Рис. 8. Подання об'єктів з рис. 7 у вигляді дерев
Якщо б у такій же програмі фігурували точки тривимірного простору, то можна було б для їх подання використовувати інший функтор, наприклад:
Tochka3 (X, Y, Z)
Можна, однак, скористатися одним і тим же ім'ям tochka одночасно і для точок двовимірного і для точок тривимірного просторів і написати, наприклад, так
tochka (X1, Y1) і tochka (X, Y, Z)
Якщо одне й те ж ім'я з'являється в програмі в двох різних значеннях, як у вищезгаданому прикладі з точкою, то поролог-система буде розрізняти їх за кількістю аргументів і інтерпретувати це ім'я як два функтора: один - двухаргументний ; другий - трьох. Це можливо тому, що кожен функтор визначається двома параметрами:
1) ім'ям, синтаксис якого збігається з синтаксисом атомів;
2) арністю - тобто числом аргументів.
Всі структурні об'єкти в Пролозі - це дерева, представлені в програмі термами. Розглянемо ще два приклади, щоб зрозуміти наскільки зручно складні об'єкти даних представляються за допомогою прологовскіх термів. На рис. 9 показано деревоподібна структура, відповідна арифметичному вираженню (а + в) * (с-5)
В
Цей, абсолютно правильний прологовскій терм, звичайно не відповідає тій формі, яку нам хотілося б мати при записі арифметичних виразів. Хотілося б застосовувати звичайну інфіксне запис прийняту в математиці. p align="justify"> 29. Грати типів, ієрархія типів. Визначення типу допомогою роду і відмінності
Нехай t1 і t2 - мітки типів, якщо t1 t2, те t1 - підтип типу t2, а t2 - надтип типу t1. Типи В«професорВ» і В«студентВ» мають багато спільних надтип: В«працівник розумової праціВ», В«людинаВ», В«вищий ссавецьВ». У графі В«працівник розумової праціВ» - найменший спільний надтип для В«професораВ» і В«студентаВ». Типи В«професорВ» і В«співробітник університетуВ» мають загальний підтип В«професор університетуВ». У графі В«професорВ» і В«студентВ» не мають загального підтипу. p> Для перетворення ієрархічної форми в грати треба ввести дві особливі мітки відповідно в вищої і нижчої точках ієрархії - універсальний тип U (надтип всіх типів) і абсурдний тип А (підтип всіх типів). Ієрархія типів дасть решітку типів з усіма властивостями решітки:
В·
