Б. Робота в середовищі Arity Prolog

Б.1. Початок роботи

Цей курс побудований у прив’язці до інтерпретатора Arity Prolog, що представляє один із загальноприйнятих варіантів стандарту - DEC-10 Prolog.

Запуск Arity Prolog здійснюється з його каталогу запуском файлу api.com. Після завантаження відразу з'являється вікно інтерпретатора. Воно називається main. Курсор установлюється в командному рядку. Символи початку командного рядка:

?-

Ці символи-підказку називають запрошенням верхнього рівня і їхня поява на терміналі означає, що інтерпретатор Прологу перебуває в командному режимі й очікує уведення запиту. У цьому вікні можна вводити різні запити, які будуть оброблятися на основі аналізу бази даних (БД). База даних перебуває в одному або декількох буферах. Для редагування буфера необхідно перейти в режим редактора. Найбільш зручний перехід від головного вікна інтерпретатора до вікна редактора здійснюється керуючою клавішею F8. При цьому відкривається буфер з останнім файлом, що редагувався, або - на початку роботи при незавантажених файлах - 1-й буфер.

За замовчуванням файлу, що Ви створюєте в N-м буфері, автоматично привласнюється ім'я apibufN, де N - номер буфера. При збереженні цього буфера у вигляді файлу його можна змінити. При цьому файлу автоматично привласнюється розширення .ari. Зворотний перехід від редактора до вікна інтерпретатора також здійснюється клавішею F8. При цьому (так зазначено в установці Arity/Prolog) файл буде збережений під заданим ім’ям або, у випадку невизначеного ім’я, під ім’ям apibufN.ari і переконсультована (перетворена й діагностована) у вбудовану в інтерпретатор БД.

Якщо будуть синтаксичні помилки, інтерпретатор дає роз'яснення й виділяє в символи “< >” підозрюваний помилковий символ. Після виправлення помилок у редакторі й переході в інтерпретатор, останній знову готовий до роботи.

API (Arity Prolog Interpretator) - професійний інтерпретатор Прологу з убудованим відлагоджувачем і десятивіконним екранним редактором.


Понравилась статья? Добавь ее в закладку (CTRL+D) и не забудь поделиться с друзьями:  



double arrow
Сейчас читают про: