3 СТРУКТУРА ПРОГРАМИ PDC ПРОЛОГУ
3.1 Основні розділи програмиї
В якості реалізуючої системи Прологу будемо розглядати
PDC Пролог. Він вибраний тому, що на противагу більшості
реалізацій Прологу, є компілятором.
В загальному, програма PDC Прологу (надалі будемо
писати просто Пролог) складається з 3-4 розділів.
Розділ clauses - головна частина програми Прологу. Тут
записуються факти та правила, які будуть використані для
задовільнення цілі програми.
Розділ predicates - використовується для об'яви
предикатів та доменів і опису типів їх аргументів. Коли ви
об'являєте предикат, ви вказуєте Прологу які домени аргументів
належать даному предикату. В ньому повинні бути присутніми
всі предикати, зазначені в розділі clauses.
При використанні вмонтованих предикатів, наприклад,
таких, як write, makewindow, nl і т.д., об'являти їх не має потреби.
Опис предикату починається з імені, потім, якщо вони
існують, іде список типів аргументів, розділених комами і
взятими в круглі дужки. Типи аргументу є або ж стандартними
доменами, або ж доменами, які ви об'явили в розділі domains.
Ім'я предикату повинно бути ідентифікатором.
Розділ domains - використовується подібно конструктору
типів type в Паскалі. За допомогою цього розділу можна
перейменувати /перевизначити/ стандартні домени і описати
домени складних типів даних. Якщо в вашій програмі
використовуються тільки стандартні домени, тоді в розділі
domains взагалі не має потреби.
Розділ goal - використовується для задання вмонтованих
(внутрішніх) цілей, коли ви бажаєте, щоб програма працювала
незалежно від розвитку середовища Прологу. Іншими словами,
якщо ви плануєте компілювати програму в самостійно
виконувану програму, ви можете явно вказати ціль виконання.
33