Б.2. Функції меню Arity/Prolog

Меню включається натискуванням клавіші Alt + клавіша, що виділена червоним в назві підменю.

В меню FILE, крім звичайних підменю New, Open file та інші, є ще наступні, які є специфічними для середовища Arity/Prolog.

Consult File - консультує в тимчасову (на поточний сеанс роботи) БД зазначений у діалоговому блоці файл.

Консультування або повторне - після внесених змін -переконсультування файлу необхідно для того, щоб Пролог-програма з файлу, що редагується, була занесена в БД інтерпретатора й стала “видимою” для запитів.

Аналогічну дію роблять предикати consult і reconsult, єдиним аргументом яких є ім'я консультируемого файлу. При консультуванні декількох файлів можна скористатися записом:

[filel, file2, file3],

консультуючі файли з іменами filel, file2, file3. Кількість консультуємих файлів не регламентується. Консультація за допомогою квадратних дужок може здійснюватись як з командного рядка інтерпретатора, так і окремим предикатом Пролог- програми.

Restore Db - відновлює прологовскую базу з моменту останнього збереження (за допомогою опції "Save Db"). Цією опцією можна усунути всі зміни, пророблені з моменту останнього збереження в поточному сеансі роботи.

Restore Db From - відновлює базу зі стану раніше збереженого.

Save Db - зберігає прологовскую базу.

ПОПЕРЕДЖЕННЯ: Вибір цієї опції зберігає базу у Ваш інтерпретатор. Тому при будь-якому наступному запуску інтерпретатора база буде містити інформацію, Вами збережену. Якщо Ви цього не бажаєте, краще використовувати опцію Save Db As.

Save Db As - зберігає стан програми. З'явиться діалоговий блок, де Ви вкажете ім'я файлу, під яким збережеться Ваша програма. Генеруємий файл буде мати розширення idb (внутрішня база даних).

При запуску Arity/Prolog автоматично створюється три вікна: головне, редактори й відлагоджувача. Останнє з'являється при виборі опцій пункту меню “DEBUG”:

trace on – вмикає/вимикає відлагоджувач;

spy - установка в програмі контрольних точок, тобто точок висновку для відлагоджувача. Задається у вигляді імен предикатів, які Ви контролюєте. Прохід по контрольних точках здійснюється при натисканні замість <enter> клавіші <L>.

У редакторі передбачено до 9 буферів і «кишеня». Можна одночасно редагувати до 9 файлів і обмінюватися частинами тексту між ними.

Кожній функціональній клавіші відповідає команда меню (табл. 1).

Таблиця 1. Призначення функціональної клавіатури.

Функц.клавіша	Дія
F1 F2 F3 F4 F5 F6 F7 F8 F9,F10	Демонструє help по системних предикатах Копіює обраний текст в «кишеню» Повторює останній пошук Шукає текст. Шукає текст із заміною Перераховує файли, розміщені в буферах; вибір буфера Перемикає в останній раніше використовуваний буфер Перемикач головного вікна й редактори Не задіяні

Перед видаленням або копіюванням тексту його необхідно вибрати (або скасувати). Обраний текст позначається негативним зображенням.

Натискання одночасно клавіші <Shift> і клавіші-стрілки або <Shift> і однієї з клавіш <Home>,<End>,<PgUp>,<PgPn>, комбінацій <Ctrl>-<Home>, <Ctrl>-<End> веде до вибору тексту в зазначеному напрямку й обсязі.

Обраний текст можна видаляти й копіювати (табл. 2).

Таблиця 2 Видалення й копіювання фрагментів тексту

Клавіша	Опція	Дія
Shift+Del F2 Del	Cut Copy Clear	Видаляє текст, поміщаючи його в «кишеню» Копіює текст в «кишеню» Видаляє текст, не поміщаючи його в «кишеню»

“Кишеня” містить тільки останній з поміщених у нього текстів. Натискання комбінації клавіш <Shift>-<Ins> або опція меню Paste поміщає текст із “кишені” з поточної позиції курсору.

Для виходу з Arity/Prolog можна в командному рядку задати команду

Halt.

або вибрати однойменну команду в опції меню FILE.