и Sparc.
XREF
Логотип SWI - Prolog
ECLiPSe CLP
Реалізація мови програмування Prolog. (ECLiPSe Constraint Logic Programming System) - Засновано на Prolog система, інтегруюча Різні Розширення логічної парадигми програмування, особливо логічного програмування с ограниченной (Constraint Logic Programming, CLP).
Ядро ECLiPSe є ефективна реалізацією Edinburgh Prolog. У Основі лежить інкрементальній компілятор вихідних кодів в коді віртуальної машини.
Система ECLiPSe написана на Prolog и C.
- стандартна GUI- оболонка для ECLiPSe, версия 6.0
Prolog
Реалізація мови програмування Prolog.Prolog - Нове покоління інтерпретаторів мови Prolog. ВІН Повністю БУВ реалізованій на Visual Prolog. EZY Prolog сумісний з Visual Prolog и PDC/Turbo Prolog. Підтрімує інкапсуляцію.Prolog не просто інтерпретатор, смороду має Попередній компілятор, Який дает програмісту Зручний інструмент для перевіркі, что программа є логічно несуперечлівої (контроль відповідності тіпів, аналіз шаблонів, использование неініціалізованої змінної, Інтенсивний аналіз синтаксису).
У EZY Prolog мається EZY Designer, Який дозволяє створюваті складні графічні інтерфейси користувача, зберігаті его в текстовий файл (XML) i завантажуваті назад при необхідності перегляду або ОБРОБКИ. При цьом Можна не писати код для ОБРОБКИ графічного інтерфейсу - весь необхідній код может буті згенерований автоматично.
Що особливо прімітно, у міру розвитку EZY Prolog, много системних діалоги були напісані на EZY Prolog (включаючі весь его інтерфейс) .Prolog НЕ створює віконувані файли.
Реалізація мови програмування Prolog. (Java Internet Prolog) - багатоплатформовій інтерпретатор мови Prolog, Який інтегрує мови Prolog і Java очень пробачимо способом. JIProlog дозволяє віклікаті предикати Prolog з Java и дозволяє віклікаті методи Java їх Prolog. JIProlog спроектованій так, щоб ВІН МІГ працювати з будь-Якою версією Java 1.1 и більш пізнімі версіямі, что дозволяє інтегруваті Prolog даже з JME.- Prolog.
Реалізація мови програмування Prolog.- Prolog - Розширене Prolog розроблення в Першу Черга для автоматичного доведення теорем. Має підтрімку символьних обчіслень.- Prolog є багатопотоковій и Забезпечує зв'язок високого уровня з потоками, процесами. Всі це створює Сильний Механізм для программирующего.
Відмінні Особливості Qu - Prolog:
індексація дінамічніх баз даних
Динамічний збірач сміття для дінамічніх баз даних
збірач сміття
множінні потоки
управління ціляміProlog
Реалізація мови програмування Prolog.Prolog - це сучасна система розробки програм підтрімуюча діалект ISO Prolog. SICStus Prolog реалізованій на Високоефективний Механізм, Який может використовуват ПОВНЕ віртуальний простір пам'яті. SICStus Prolog Ефективний и Стійкий для більшості реалізованіх Додатків.
Вікно програми на SICStus Prolog
Prolog
діалектмови програмування Prolog.Prolog - діалект мови програмування Prolog. Его синтаксис около ISO Prolog, но має безліч Розширене, Які НЕ є Частинами стандарту. За своєю задума Strawberry Prolog винен буті легким у вікорістанні, того деякі університети Використовують его для курсів з Prolog.Prolog розробляється інститутом математики та інформатики болгарської академии наук. Перша версия булу віпущена в 1996 году.
деякі Розширення
глобальні змінні
масивов
визначення функцій и вбудований предікатів
CGI скрипти
COM и ActiveX
Strawberry Prolog як сервер OLE
доступ до бази даних через ODBCProlog
Реалізація мови програмування Prolog.
З КОМЕРЦІЙНИХ реалізацій Прологу треба згадаті Колишній 1:00 вельми популярним Arity Prolog. Система Arity/Prolog представляет собою засіб програмування універсального призначення, Пожалуйста может використовуват для создания прикладних систем усіх тіпів. Пролог відрізняється від процедурно мов НЕ тім, что ВІН Робить, а тім як ВІН це Робить.
Інтерпретатор
Пролог - програми могут створюватіся помощью інтерпретатора. Розробка програми при вікорістанні інтерпретатора є Повністю інтерактівною. Працюючий в інтерпретаторі, користувач, вікорістовуючі вбудований редактор системи Arity/Prolog может редагу...
