ign="justify"> ix86/Win32 вікорістовує MSVC + +
ix86/SCO
ix86/Solaris
ix86/FreeBSD
ix86/OpenBSD
ix86/NetBSD
ix86/Darwin (Mac OS X)
x86_64/GNU/Linux
PowerPC/GNU/Linux
PowerPC/Darwin (Mac OS X)
PowerPC/NetBSD
sparc/SunOS (4.1.3 or higher)
sparc/Solaris
sparc/NetBSD
alpha/GNU/Linux
alpha/OSF1
mips/irixProlog
Реалізація мови програмування Prolog.Prolog - продукт датської фірми Prolog Development Center. Ранее пошірювався під Назв Turbo Prolog (Borland) i PDC Prolog.Development Center витрати более трех років на розробка системи Visual Prolog з поетапна бета- Тестування, поставки комерційної Версії якої Почаїв з лютого 1996 року. Visual Prolog є Єдиною в мире Prolog - системою з 100% Оболонков віконаної в ідеології Visual -густо вісокорівневіх компонент, Які спрощують розробка програм для систем Windows (версия 5.x підтрімувала и платформу OS2) .Prolog автоматізує побудову складних процедур и звільняє програміста від виконан трівіальніх операцій. Помощью Visual Prolog проектування корістувальніцького інтерфейсу и пов язаних з ним вікон, діалогів, меню, рядка повідомлень про станах и т.д. віробляється в графічному середовіщі. З створеня про єктами відразу ж могут працювати Різні Кодові ЕКСПЕРТ (Code Experts), Які Використовують для генерації базового и розширеного кодів на мові Prolog, необхідніх для забезпечення їх Функціонування.
Потужність мови Prolog в поєднанні з сучасним системою корістувальніцькіх інтерфейсів (GUI - Graphical User Interface) Робить простий и інтуїтівно зрозумілою розробка систем, засновання на знаннях, систем Підтримай Прийняття РІШЕНЬ, Які планируют програм, розвинення систем управління базами даних і т.д.
Visual - середовище розробки
Середовище розробки Додатків системи Visual Prolog Включає текстовий редактор, Різні редактори ресурсов, засоби розробки Help систем в гіпертекстовому представленні, систему відстеження змін, яка Забезпечує перекомпіляцію и перегенерація только зміненіх ресурсов и модулів, ряд експертів Коду, что оптімізує компілятор и набор ЗАСОБІВ перегляду різніх тіпів информации про проект. Повна інтеграція всех ЗАСОБІВ Забезпечує Підвищення швідкості розробки Додатків. Отрімані Додатки є віконуванімі. EXE програмами и не вімагають ніякіх Додатковий оточення и Ліцензування.
Сумісні бібліотеки
Система програмування корістувальніцькіх інтерфейсів (до 6.x VPI - Visual Programming Interface, починаючі з 7.x - об'єктно -орієнтована GUI) системи Visual Prolog є вісокорівневою абстракцією властівостей підтрімуваніх в базовій віконній сістемі Windows ( в 5.x - такоже OS2) ..
У систему включень такоже інтерфейс з базами даних типу SQL. Майже всі тіпі баз даних Доступні з використанн Windows ODBC (Open Database Connectivity) інтерфейсу. Підтрімуються такоже Звернення до баз даних Oracle, а в платформі OS/2 підтрімано Взаємодія з системою управління базами даних DB/2
Середовище розробки Visual Prolog 4.0
. 4 Структура пролог-програми
Як реалізуючу систему Прологу будемо розглядаті PDC Пролог. Его вібрать того, что, на протівагу більшості реалізацій Прологу, є компілятором. Узагалі, программа PDC Прологу (надалі будемо писати просто Пролог) складається з 3-4 розділів.
Розділ clauses- головна частина програми Прологу. Тут записують факти та правила, Які будут вікорістані для удовольствие мети програми.
Розділ predicates вікорістовується для оголошення предікатів та доменів и Опису тіпів їх аргументів. Колі ві оголошуєте предикат, то вказуєте Прологу, Які домени аргументів належати последнего. У ньом повінні буті всі предикати, зазначені в розділі clauses.
При застосуванні вмонтованою предікатів, например, таких, як write, makewindow, nl ТОЩО, оголошуваті їх нема спожи.
Опис предикату почінається з имени, потім іде список тіпів аргументів (если смороду існують), розділеніх комами та взяти в круглі дужки. Типи аргументу є або стандартними доменами, або ж доменами, Які оголосілі у розділі domains. Ім я предикату винне буті ідентіфікатором.
Розділ domains вікорістовується подібно до конструктора тіпів type у Паскалі. Помощью цього розділу можна Перейменувати/перевізначіті/Стандартні домени ї описати Такі складних тіпів даних. Если ...
