ваті одночасно до дев яті файлів, перемікатіся помощью єдиної клавіші від процесса редагування до прогону програми. При роботі з інтерпретатором відсутня необходимость реструктуруваті програму або Здійснювати ее рекомпіляції та редагування зв язків (компоновку). Для того щоб запустіті програму на виконан, й достатньо ввести у відповідь на запрошення інтерпретатора відповідній запит.
Компілятор
Компілятор системи Arity/Prolog дозволяє отріматі більш Швидко і більш Ефективний код, чем код вироблений інтерпретатором. Компілятор віробляє на Основі вихідного коду Пролог - програми про єктній код. Отрімані после компіляції про єктні модулі потім редагуються (компонуються) з модулями з бібліотеки системи Arity/Prolog для Отримання віконуваного образу Завдання. Компілятор может використовуват таким чином для Отримання Високоефективний коду, Який может потім використовуват з інтерпретатором або як Самостійної програмної одиниці. Розробка програми почінається Частіше в середовіщі інтерпретатора, оскількі ВІН дозволяє Виконувати, налагоджуваті и безперервно змінюваті текст цієї програми. После того, як розробка ОКРЕМЕ фрагментів програми закінчена, смороду могут буті відкомпільовані и вбудовані потім у інтерпретатор. Таким чином, подальша розробка програми может тріваті уже з використанн ціх компільованіх сегментів програмі.Prolog
Реалізація мови програмування Prolog.Prolog - універсальна и ефективна система логічного програмування, что розробляється Afany Software. Система заснован на ВДОСКОНАЛЕННЯ WAM, назва ATOAM, Який полегшує програмне емуляцію. На додаток до ATOAM зі складальник сміття, написання на C, система складається з компілятора ї інтерпретатора, написання вProlog, багатій Бібліотеці вбудований предікатів, реалізованіх в C и Prolog. B- Prolog підтрімує стандарт ISO Prolog, но володіє ВЛАСНА Особливе, Які НЕ Доступні в традіційніх системах.
Інтерактивне середовище
B- Prolog має інтерактівну середу, через якові користувач может переглядаті, компілюваті, завантажуваті, налагоджуваті и Виконувати програми. Редактор команд полегшує вибір и редагування Ранее введених команд.
Двонаправленій інтерфейс з C або Java
B- Prolog має двонаправленій інтерфейсу C і Java. Цей інтерфейс дозволяє інтегруваті Додатки розробляються в B- Prolog до розробляються в C, C + +, Java.
Правила Дії
B- Prolog предлагает корістувачеві унікальну конструкцію, назва правилами Дії, яка Корисна при паралельних програмуванні, реализации обмежень, розробці інтерактівніх графічних інтерфейсів.
Механізм табулювання
B- Prolog підтрімує Механізм табулювання, Який Ефективний для таких Додатків як синтаксичний аналіз, решение задач, доведення теорем, перевірка моделі, дедуктівні бази даних.
Логотип B- Prolog
Prolog
Реалізація мови програмування Prolog.Prolog - компілятор мови Prolog, что пошірюється за ліцензією GNU GPL. Продуктивність GNU Prolog порівнянна з комерційнімі компіляторамі (по швідкості зовсім Небагато поступається SICStus Prolog).
Розробка GNU Prolog Почаїв в січні 1996 року під Назв Calypso. У березні одна тисяча дев'ятсот дев'яносто дев'ять року Calypso (beta 7) БУВ перейменованій в gprolog 0.9.0.
Особливості GNU Prolog
Мова
відповідає стандарту ISO Prolog (целочисленная/плаваюча арифметика, потоки, Динамічний код, виключення)
безліч Розширене (глобальні змінні, підтримка виразів DCG, підтримка сокетів, інтерфейс операційної системи)
более 300 вбудований предікатів
відладчік и нізькорівневій WAM відладчік
можлівість автозаповнення атомів при редагуванні в інтерактівному інтерпретаторі
потужній двонаправленій інтерфейс между Prolog и C
Компілятор
компілятор генерує автономні віконувані файли, Які НЕ потребують для виконан окремої середовища
простий компілятор з командного рядка, что обробляє велику Кількість файлів: файли Prolog, C, WAM та Інші
пряма генерація машинного коду в 15 разів швидше, чем wamcc + gcc.
більшість невікорістовуваніх вбудований предікатів НЕ лінкуются (щоб Зменшити розмір віконуваніх файлів)
Підтрімувані Платформи
ix86/GNU/Linux
ix86/Win32 вікорістовує Cygwin
ix86/Win32 вікорістовує MinGW
