TuProlog: различия между версиями

Содержимое удалено Содержимое добавлено
Нет описания правки
Нет описания правки
Строка 6:
 
TuProlog - это основанная на Java, упрощенная версия Prolog, созданная для работы с интернет приложениями.
Для достижения этих целей tuProlog создалисоздан простым в установке, малообъемным, динамично настраиваемым и напрямую интегрированным в Java.
Установка tuProlog во многом схожа с Java.
Требования по установке tuProlog не велики - присутствие standard Java VM, и возможность запуска JAR-файла посредством Java.
Конструкция TuProlog довольно просто устроенпроста. Ядро tuProlog - это небольшой объект Java, который содержит лишь самые главные части движка Prolog.
Только стандартные инструменты Prolog (такие как, ISO соответствие, I/O предикатыПредикаты, DCG операторы) могут быть добавлены или удалены из движка tuProlog, в соответствии с задачами конкретного пользователя. Что удивительно, простота
Простота tuProlog делает его легко настраиваемым.
При работе с TuProlog необходимо постоянно загружать и выгружать предикаты, функторы, и операторы, причем как статично, так и динамично: это возможно благодаря библиотекам Prolog.
Библиотеки могут находиться в стандартном дистрибутиве, или могут быть собственноручно добавлены пользователем.
Библиотека tuProlog может быть создана как при помощи Prolog, так и Java, и может настраивать движок tuProlog как во время запуска, так и при ручной загрузке динамично, в любое время, пока приложение запущено.
 
Интеграция с Java была достигнута почти во всех областях.
На самом деле, простой, но мощный механизм, требует постоянно загружать и выгружать предикаты, функторы, и операторы, как статично, так и динамично: это возможно благодаря библиотекам Prolog. Библиотеки могут быть определены в стандартном дистрибутиве, или собственноручно пользователем. Библиотека tuProlog может быть создана как при помощи Prolog, так и Java, или обоими языками, и может быть использована для настройки движка tuProlog во время запуска, или же загружена (и затем выгружена) динамично, в любое время, пока приложение запущено.
 
Изменения со стороны Prolog - любой объект Java (объект, класс, пакет) может быть представлен как термин Prolog.
Интеграция с Java была достигнута почти во всех областях, таким образом, компоненты tuProlog могут быть разработаны любым доступным способом — как декларативно\логически так и императивно\объектно-ориентированно. Со стороны Prolog, благодаря Java-библиотекам, любой объект Java (объект, класс, пакет) может быть представлен как термин Prolog. Например, Java пакеты такие как Swing и JDBC могут быть непосредственно извлечены из Prolog, незамедлительно открывая tuProlog доступ к графическим возможностям и базам данных. Со стороны Java, движок tuProlog может быть вызван и использован как простой Java-объект или использован в много-потоковом контексте, согласно установкам программы.
Например, Java-пакеты, такие как Swing и JDBC могут быть непосредственно извлечены из Prolog, открывая tuProlog доступ к графическим возможностям и базам данных.
 
Со стороны Java - движок tuProlog может быть использован как простой Java-объект.
Также многообразие различных движков tuProlog может быть использовано из Java-приложения, пусть каждый их них и настроен под отдельные библиотеки и базы знаний.
Java-приложение может использовать множество различных движков tuProlog, несмотря на то, что все они могут быть настроены под отдельные библиотеки и базы знаний.
Наконец, совместимость направлена в соответствии с двумя главными направлениями: стандартными шаблонами Internet, и координационными моделями.
Совместимость достигнута в двух главных направлениях: стандартные шаблоны Internet и координационные модели.
TuProlog поддерживает взаимодействие посредством TCP/IP и RMI, и также может быть доступен черезиспользовать CORBA-сервис. Вдобавок, tuProlog поддерживает кортежно-ориентированные направления (tuple-based coordination).
Компоненты tuProlog могут быть организованы на основе Java-ориентированных tuple spaces, logic tuple spaces, и ReSpecT tuple centres. Также tuProlog может использовать инфраструктуру Internet, обеспечивая tuplebased координационные услуги, такие как LuCe и TuCSoN.
Вдобавок, tuProlog поддерживает tuple-based coordination.
Компоненты tuProlog могут быть организованы на основе Java-ориентированных tuple spaces, logic tuple spaces, и ReSpecT tuple centres. Также tuProlog может использовать инфраструктуру Internet, обеспечивая tuplebased координационные услуги, такие как LuCe и TuCSoN.
Также tuProlog может использовать LuCe и TuCSoN.
 
TuProlog разработан исследовательской группой aliCE, университета Alma Mater Studiorum—Universit`a di Bologna, site of Cesena; tuProlog является свободно распространяемым ПО, и выпускается согласно лицензии LGPL, позволяя использовать его для коммерческих целей.
 
 
== Установка tuProlog ==