Предикатът Prolog или функционална терминът може да се разглежда като структура от данни, подобна на запис в Pascal. Термин, представляващи множество термини, термин, наречен композитен или структура. Композитни структури данни Prolog обявени в областите на секцията. Ако структурата на термините се отнасят до един и същи вид на домейн, този обект се нарича структура с един домейн на данните. Ако даден структурни термини се отнасят до различни видове домейни, като структура от данни се нарича многодомейнов данни структура. Използването структура домейн опростява структурата на предиката.
Аргументите на композитни дългосрочни данни могат да бъдат прости типове данни, комбинирани условия или списъци.
Синтактически, неразделна план изглежда по същия начин, както е сказуемото в срока е functor и списък с аргументи, поставени в скоби.
Интегрална термин може да бъде обединена с проста променлива или композитен обект (с променливи могат да бъдат използвани като част от вътрешната структура на термина). Това означава, че съставният обекта може да се използва за предаване на комплект от стойности, един обект, и след това се прилага обединението за тяхното разделяне.
колектор, заглавие, автор, издател = символ
personal_library = книга (заглавие, автор, издател, година)
събиране (колектор, personal_library)
dq1 (колектор, заглавие, година)
max_year (заглавие, автор, година)
% Q1 (Y): - събиране (C, книга (T, _, _, Y), пише (С, '', Т, '', Y), NL, се провалят.
q1 (Y): - не (dq1 (_, _, Y)), събиране (C, книга (T, _, _, Y), се твърди (dq1 (C, TY)), пише (X, '', T, '', Y), NL, се провалят.
В2: - събиране (_, книга (Т, А, _, Y), max_year (Т1, А1, Y1), Y> Y1, прибере (max_year (Т1, А1, Y1)), се твърди, (max_year (Т, А , Y)), се провали.
В този случай, променливата Y се използва за обединяване на съставния цел terma.Esli даден като:
Представяне на данни често изисква голям брой структури. В Prolog тези структури да бъдат описани. За по-компактен описание на структури от данни в Prolog е предвидено използването на описания на домейни.
Пример 25: Необходимо е да се създаде база данни, която съдържа информация за книги и аудио записи от личната му библиотека.
човек, заглавие, автор, изпълнител, албум, тип = символ
нещо = книга (заглавие, автор); запис (изпълнител, албум, тип)
собственик (човек, нещо)
собственик (Ирина, книга ( «използването на Turbo Prolog», «Ин с Соломон»)).
собственик (Petr, книга ( «Изкуството на Prolog», «Sterling с Шапиро»)).
собственик (Анна, книга ( «Пролог: език, отношение и нейните приложения", "Джон Malpas»)).
собственик (Ирина, запис ( «Елтън Джон", "Ice панаир», «популярни»)).
собственик (Petr, запис ( «Бени Гудман», «Кралят на Swing», »джаз»)).
собственик (анна запис ( «Мадона», «Мадона», «популярни» »)).
собственик (X, запис (_, _, «джаз»)
Visual Prolog ви позволява да се изгради композитни отношение на няколко нива. Така например, в срок записа ( «Елтън Джон", "Ice панаир», «популярни»), вместо името на изпълнителя, можете да използвате нова структура, която ще опише по-подробно на художника:
в този случай срокът е както следва: запис (чл ( "Елтън", "John"), «Ice панаир», «популярни»).
Свързани статии