ядок розділів може бути довільним, але при цьому предикати повинні бути визначені до їх використання.
2.2.1 Розділ опису предикатів внутрішньої бази даних
Внутрішні бази даних так називаються тому, що вони обробляються виключно в оперативній пам'яті комп'ютера.
Внутрішня база даних складається з фактів, які можна динамічно, в процесі виконання програми, додавати в базу даних і видаляти з неї, зберігати у файлі, завантажувати факти з файлу в базу даних. Ці факти можуть використовувати тільки предикати, описані в розділі опису предикатів бази даних.
Якщо розділ опису предикатів бази даних в програмі тільки один, то він може не мати імені. У цьому випадку він автоматично отримує стандартне ім'я dbasedom.
Опис предикатів бази даних збігається з їх описом в розділі опису предикатів predicates.
У базі даних можуть міститися тільки факти, а не правила виведення, причому факти бази даних не можуть містити вільних змінних. Є суттєва перевага у використанні таких баз даних. Справа в тому, що факти, які використовують предикати, задані в розділі database, можуть додаватися і віддалятися під час виконання програми.
Для додавання фактів у внутрішню базу даних в нашій ЕС використовувалися вбудовані предикати asserta і assertz.
Різниця між цими предикатами полягає в тому, що предикат asserta додає факт перед іншими фактами (в початок внутрішньої бази даних), а предикат assertz додає факт після інших фактів (в кінець бази даних).
Як параметр у цих предикатів вказується додається факт.
Для видалення фактів з бази даних служать предикат retract.
Предикат retract видаляє з внутрішньої бази даних перший з початку факт, який може бути ототожнений з його першим параметром.
.2.2 Розділ опису предикатів
У розділі, названому зарезервованим словом predicates, містяться описи визначених користувачем предикатів. У традиційних мовах програмування подібними розділами є розділи опису заголовків процедур і функцій.
Домени аргументів повинні бути або стандартними, або оголошеними в розділі опису доменів. Ім'я предиката в повинно бути ідентифікатором, тобто вона має складатися тільки з англійських букв, цифр і символу підкреслення, причому не може починатися з цифри.
Наприклад, предикат, що описує відношення «temperament», який використовувався в ЕС, може бути описаний таким чином:
predicates (string)
Це опис означає, що у предиката один аргумент строкового типу.
.2.3 Розділ опису пропозицій
Цей розділ можна вважати основним розділом програми, тому що саме в ньому містяться факти і правила, що реалізують користувальницькі предикати. Починається цей розділ зі службового слова clauses.
При спробі задоволення мети TURBO PROLOG працює з самого початку розділу clauses, переглядаючи в процесі пошуку послідовно кожен факт або правило. У міру проходження розділу clauses TURBO PROLOG встановлює внутрішні покажчики після кожного виразу, яке задовольняє поточної підцілі. Якщо такий вислів не є частиною провідного до вир...
