Новости из мира Пролога!

Винитарх · Регистрация: 01.03.2003

Помещайте сюда самую свежую информацию о последних разработках в логическом программировании, а также Ваши личные мысли и отзывы по этим вопросам.

Винитарх · 15.01.2005, 18:19

Что нового в будущих версиях VIP.

Предварительный план относительно грядущей версии VIP 6.3 в основном касается усовершенствований PFC (фундаментальные классы Пролога). PDC работает над улучшением языка, который будет совместим с предыдущими версиями (в отличие от шага: VIP5.x -> VIP6.x). Эти новые особенности будут введены в VIP7.0. Однако, в настоящее время неизвестно, будет ли версия 6.4 перед версией 7.0.

А. Visual Prolog 6.3
1) PDC планирует (наконец-то!) сделать новый VDE GUI (что-то типа Дельфийского инспектора объектов). Он позволит редактировать свойства и события не только стандартных элементов управления, но и созданных пользователем (custom controls).
2) Планируется внедрение Диспетчера представления моделей элементов управления (MVC).
2.1) планируется внедрение MVC для версий: TreeView, ListBox, ListEdit, ListButton, и ListView.
2.2) планируется ввести проверку правильности вводимой информации (integer, real) в элементах управления (на основе MVC).
3) Планируется ввести объектно-ориентированный пакет Menu/Toolbar в котором команды будут отделены от Menu/Toolbar.
4) Планируется новый "imageControl", который позволит использовать графические файлы разных форматов (включая, например, JPEG и PNG), используя GDI+.
5) Планируется ввести управление расположением элементов управления с визуальными маркерами (якорями), с помощью которых можно будет прикреплять элементы к заданному месту на слое диалога (окна).

Б. Visual Prolog 7.0
1) Планируется ввести параметрический полиморфизм. Например, вместо описания дерева, содержащего integer или string-элементы:

Код:

domains
    bintree_integer =
        node(bintree_integer Left, integer Node, bintree_integer Right);
        leaf().
domains
    bintree_string =
        node(bintree_string Left, string Node, bintree_string Right);
        leaf().

достаточно будет написать так:

Код:

domains
    binTree{Elem} =
        node(binTree{Elem} Left, Elem Node, binTree{Elem} Right);
        leaf().

Более того, полиморфные предикаты могут манипулировать полиморфными структурами данных. Например, этот предикат вставит вершину в заданное двоичное дерево:

Код:

predicates
    insert : (Elem NewNode, binTree{Elem} Tree) -> binTree{Elem} NewTree.
clauses
    insert(NewNode, leaf()) = node(leaf(), NewNode, leaf()).
    insert(NewNode node(Left, Node, Right)) = NewTree :-
        NewNode <= Node,!,
        NewTree = node(insert(NewNode, Left), Node, Right).
    insert(NewNode node(Left, Node, Right)) = NewTree :-
        NewTree = node(Left, Node, insert(NewNode, Right)).

Этот предикат может вставить элементы в двоичное дерево с любыми элементами:

Код:

clauses
    ppp() :-
        StrTree1 = insert("AAA", leaf()),
        StrTree2 = intert("BBB", StrTree1),
        IntTree1 = insert(17, leaf()),
        IntTree2 = insert(23, IntTree1),
        ...

Полиморфизм гарантирует безопасность применения разных типов данных, т.е. Вы, например, не сможете вставить целое число в дерево, составленное из строк:

Код:

clauses
    ppp() :-
        StrTree1 = insert("AAA", leaf()),
        SomeTree2 = insert(23, StrTree1),  % type error
        ...

Такая ошибка будет обнаружена на этапе компиляции.

Полиморфизм распространяется и на списки, поэтому, например, определение принадлежности элемента к списку можно описать так:

Код:

predicates
    isMember : (Elem Elem, Elem* List) determ.
clauses
    isMember(Elem, [Head|Tail]) :-
        Elem = Head
        or isMember(Elem, Tail).

Этот предикат может быть использован для списка целых чисел:

Код:

isMember(17, [23, 45, 32, 17, 58])

и он же может быть использован для списка, например, строк:

Код:

isMember("aaa", ["asd", "asd", "asd"])

Однако смешанные списки не позволительны:

Код:

L = [23, "aaa", 32, 17, 58] % type error

2) Будет введена конструкция "if-then-else" как элемент языка:

Код:

clauses
    p(X) = Y :-
        if X = 1 then
            Z = 3
        else
            Z = 7
        end if,
        Y = 2*Z.

Она же может быть использована без ветки else:

Код:

clauses
    p(X) = Y :-
        if trace = true() then
            writef("Started p(%)n", X)
        end if,
        ...

3) Будет введена возможность глубокого вложения "or":
clauses

Код:

p(X) = Y :-
        (X = 1, !, Z = 3 or Z = 7), Y = 2*Z.

Возможность использования точки с запятой ";" конечно же осталась.

4) Будет введён цикл "Foreach" как элемент языка:

Код:

...,
foreach p_nd(X) do
   write(X), nl()
end foreach,
...

он равносилен бактрекингу:

Код:

...,
   p_nd(X),
   write(X), nl(),
   fail.

но в отличие от бактрекинга цикл Foreach позволяет продолжать вычисления в этом же клозе.

Цикл Foreach может быть вложенным:

Код:

...,
foreach p_nd(X) do
   foreach q_nd(X, Q) do
       writef("Q = %, ", Q)
   end foreach,
   foreach r_nd(X, R) do
       writef("R = %, ", R)
   end foreach,
   writef("nThat was for X = %n", X)
end foreach
...

5) Улучшение (с т.з. PDC) понимания и функциональности списковых операций путём введения нового синтаксиса, поддерживающего широко известный findall(...):

Код:

..., List = [ A || p_nd(A) ], ...

что полностью соответствует прежнему:

Код:

..., findall(A, p_nd(A), List), ...

Новая конструкция позволяет использовать себя функционально:

Код:

..., ppp( [ A || p_nd(A) ] ), ...

Функциональные возможности улучшены до такой степени, что можно писать и так:

Код:

..., List = [ pair(A, math::sin(A)) || p_nd(A) ], ...

и даже так:

Код:

..., List = [R || p_nd(A), S = math::sin(A) R = pair(A,S) ], ...

Елизавета Сафро · 20.04.2005, 14:00

Дорогие друзья!

В планы развития Visual Prolog внесены уточнения: www.visual-prolog.com/vip6/product/plans.htm.

Елизавета Сафро
Prolog Development Center

Винитарх · 21.04.2005, 14:10

Спасибо Елизавета.

Visual Prolog 7.0

1) Более строгая система типов относительно подтипов
Декларация домена подобно этой:

Код:

domains
    myType = someType.

определит подтип myType, а не синоним типа.

Значение типа "myType" может автоматически использоваться как тип "someType", но значения типа "someType" должно быть явно преобразовано(конвертировано) в тип "myType". Цель этого - увеличение безопасности программ. Рассмотрим небольшой пример:

Код:

domains
    styleFlag = integer.
    color = integer.
predicates
    createWindow : (..., styleFlag Style, color Color).

Для VIP 6.x: если "styleFlag" - синоним "integer", и "color" также синоним "integer", то "styleFlag" и "color" - синонимы друг другу. Поэтому ошибочный вызов подобный этому:

Код:

clauses
   ppp(...) :-
       Color = getColor(),
       StyleFlag = getStyleFlag(),
       createWindow(..., Color, StyleFlag).

с т.з. VIP6.x будет правильным. Однако в VIP7.x эта ошибка отлавливается: "Color" не может использоваться как "styleFlag" (и наоборот), если Вы явно не конвертируете (не преобразуете) их.

2) Более строгая типизация чисел

Числа, объявленные как integer и unsigned не являются взаимозаменяемыми. Для этого необходимо провести явное преобразование типов: integer -> unsigned.

Visual Prolog 6.4 (скорее всего особенности Visual Prolog 6.4 будут включены в 7.0, а версии 6.4 не будет)

Полный набор особенностей VIP6.4 еще не определен. Однако, по крайней мере, следующие особенности запланированы.

1) Планируется создание MVC версий TreeView, ListBox, ListEdit, ListButton, и ListView. Также планируется сделать ссылку на шаблон MVC.

2) Команды меню отделяются от команд панели инструментов.

Винитарх · 01.09.2005, 19:05

Надысь вышла столь долго ожидаемая нами альфа версия VIP7 (http://www.visual-prolog.com/):

Цитата:

Visual Prolog 7.0 Alpha
is supplied together with Visual Prolog 6.3

Елизавета Сафро · 05.09.2005, 23:11

Дорогие друзья!

Visual Prolog 7.0 Alpha далеко не единственная, хоть и важная новость, касающаяся Visual Prolog.

Вот более полный список новостей, подробную информацию о которых вы найдёте на сайте Visual Prolog: www.visual-prolog.com:[list](бесплатная версия).

2. Prolog Development Center представляет Visual Prolog 7.0 Alpha, которая поставляется вместе с обоими изданиями Visual Prolog 6.3.

3. Пользователям бесплатно предлагается новая версия Visual Prolog Migration Tool для миграции проектов из Visual Prolog 5.x в Visual Prolog 6.x.

4. На сайте www.visual-prolog.com опубликовано несколько новых пособий по Visual Prolog 6.3, а также исправленные и дополненные пособия с примерами.

5. Популярное пособие "Visual Prolog for Tyros" переработано для Visual Prolog 6.3 и существенно расширено (около 200 страниц). Пособие теперь является составной частью Help-системы Visual Prolog 6.3.[list]
Если вы хотите, чтобы ваше мнение о новых версиях Visual Prolog услышали руководители разработки, примите участие в форуме сайта: http://discuss.visual-prolog.com/.

Винитарх · 18.09.2005, 13:46

Visual Prolog 6.3: Задержанное событие.
Пример:
Пусть диалог имеет ListBox и TextControl. TextControl отображает информацию, которая определяется/вычисляется по выбранному в ListBox элементу. Нередко процедура такого вычисления весьма длительна (чтение из сети или из базы данных). Если пользователь быстро изменяет выбор держа, например, ArrowDown, то использование selectionChangedListener даёт существенную задержку во времени – прога «тормозит».
Причина: каждый промежуточный выбор также начинает длительную процедуру вычисления значения для TextControl.
VIP6.3 предлагает новое средство: delayedSelectionChangedListener вместо selectionChangedListener.
delayedSelectionChangedListener вызывается тогда, когда выбор пользователя не изменяется в течение заданного периода времени, следовательно длительная процедура вычисления будет вызвана один раз – на самом последнем выборе элемента в ListBox.
____________________________________
Автор заметки на сайте PDC: Юрий Ильин.

Винитарх · 09.10.2005, 00:53

Вашему вниманию представляется вольный перевод фрагментов доклада Томаса Палса и Карстена Холста. В переводе оставлены только те места, которые повествуют об истории Пролога фирмы PDC, а также о планах на будущие разработки. В докладе подчёркнуто, что Visual Prolog – коммерческий продукт, который предназначен не столь для академических исследований в области теории предикатов, сколь для быстрой и качественной разработки крупных приложений. PDC, как автор и обладатель Visual Prolog, оставляет за собой право внедрять в язык только те теоретические разработки, которые она считает полезными для своего коммерческого продукта. Также PDC оставляет за собой право заправлять круто замешанные теоретические разработки яйцеголовых специями собственного приготовления по своему вкусу.

Цитата:

Объектная система Visual Prolog
(Доклад на APPSEM II Workshop 2005)

Авторы: Thomas Linder Puls & Carsten Kehler Holst ( Prolog Development Center A/S)

Visual Prolog - логический и объектно-ориентированный язык программирования, который развивался от Turbo Prolog и PDC Prolog. Visual Prolog поставляется с интегрированной средой разработки. Язык полностью компилируется и может быть связан, например, с C++ кодом. Prolog Development Center с 1983 года разработал несколько версий языка и использует их как основной язык разработки приложений. В настоящее время PDC использует версию 6.3 языка и завершает разработку версии 7.x. Начиная с разработки версии 6.0, был реализован полный набор основных проложных классов (PFC), включая объектно-ориентированную среду GUI.

Исторические вехи:
- Язык логического программирования, основанный на Прологе.
- Алгебраические типы данных (связь по образцу, унификация).
- Недетерминизм (с поиском сначала вглубь).
- База фактов.
- Строгая типизация.
- Анализ режимов детерминизма.
- Автоматическое управление памятью, основанное на абстрактной машине Уоррена.

Vip6.x (текущая платформа):
- Объектная система, основанная на классах:
- Чёткое разделение декларативных и исполнительных разделов
- Чёткое разделение объектных типов и классов
- Чёткое разделение подтипов и наследуемых типов
- Механизм передачи: "delegate to"
- Механизм заимствования: "predicates from"
- Объектные предикаты обратного вызова
- Вложенные выражения
- Сборщик мусора

Усовершенствования в будущей версии Vip7.x:
- Параметрический полиморфизм
- Параметрические типы
- Параметрические предикаты
- Параметрические интерфейсы
- Параметрические классы
- Полносвязный полиморфизм
- Библиотеки типов
- Усовершенствованные списковые операторы
- Новые языковые конструкции (foreach, if-then-else)
- Лямбда-выражения
- Усложнённая связь по образцу
- Именование миров
- Методы "Protected/Friends"
- Объектная система
Объектная система основанная на классах в Visual Prolog базируется на идее разделения деклараций классов от их исполнительной части. Объектная система изолирует множество понятий в независимых фичах, которые в других объектно-ориентированных языках смешаны. Объектные типы полностью изолированы от классов: класс строит объекты определённого типа, но они самостоятельно не определяют тип. Все типы определены исключительно по интерфейсным определениям, и любой класс может создать объекты любого объектного типа. Это чёткое разделение объектов и классов позволяет просто создать иерархии объектных типов с упором на использовании (программировании), а не на выполнении. В Visual Prolog методы объекта можно передать как аргумент, сохранённый в переменных, и т.д. Более того, когда метод вызван, то он выполняется в контексте того объекта, который является собственником метода.

Visual Prolog опирается на многие источники. Мы черпаем вдохновение из теоретических разработок и современных тенденций в логическом программировании, но мы также учитываем потребности и пожелания собственных программистов. Первоначальная система Turbo-Prolog базировалась на работе Ёргена Фишера Нильсона (Пролог, основанный на доменах, Конгресс IFIP, 1983, стр.293-298). Язык логического программирования Mercury (www.cs.mu.oz.au/research/mercury/) также подобен Визуальному Прологу. Будучи коммерческой компанией, а не исследовательским институтом, мы не сильно ориентируемся на научные источники. Наши разработки дают ощутимый на практике результат. Объектная система Visual Prolog базируется на идеях C++, и является попыткой преодоления некоторых проблем в C++ на сонове применения современных идей. Реализованная в Visual Prolog объектная система позволяет программисту сосредоточиться более на прагматике задачи, чем на обслуживании прагматики компилятора.

Елизавета Сафро · 14.11.2005, 16:34

Prolog Development Сenter приглашает Вас принять участие в конференции Visual Prolog Applications & Language Conference, которая состоится в апреле 2006 года в Португалиии.
Подробности - на сайте http://www.pdc.dk/uk/seminar2006/.

VictorY · 07.02.2006, 12:07

Программа конференции VIP-ALC 2006 сформирована.

http://www.visual-prolog.com/conference200...program-tec.htm

Винитарх · Регистрация: 01.03.2003

Внимание!!!
:!:
Смею сообщить участникам форума и случайно_забредшим сюда, что на днях в местечке Фару (Португалия) завершилась Первая Международная Конференция VIP-ALC ‘06, организованная фирмой PDC (Prolog Development Center) и посвящённая как собственно языку программирования VIP, так и приложениям, созданным на нём в различных странах мира.

Основное внимание (6 докладов) было уделено новым парадигмам очередной версии языка - Visual Prolog 7 (VIP7) и способам их применения на практике. Эти вопросы были освещены собственно разработчиками VIP7 из Копенгагена и Петербурга.
Язык VIP7 является поистине mainstream-ом Пролога и развитым RAD-средством. VIP7 вмещает в себя помимо чисто проложных парадигм также императивные парадигмы (цикл, ветвление, разрушающее присваивание), поддерживает функциональный стиль программирования и, конечно же, ООП. Среда разработки приложений является самой удобной и мощной, а скорость исполнимых файлов непревзойдённая по сравнению с пятью десятками других известных мне Прологов. Что неоднократно было показано на этом форуме.

Другая часть докладов посвящена целому ряду практических приложений на VIP, созданных в различных частях света:
Латинская Америка - Бразилия.
Северная Америка - США.
Европа - Дания, Франция, Финляндия, Россия, Польша.
Азия - (Сингапур и Япония).
Как показала конференция, VIP-приложения сторонних программистов относятся к образовательной, научной, компьютерной и промышленной технологиям. Поэтому разговоры о том, что Пролог - это язык только для ИИ следует считать недостоверными, ибо практика программистов разных стран (единственный критерий истины) показала другое, а именно - широкое применение Пролога в различных сферах жизни "цифрового" общества.

Всего за три дня было сделано 20 докладов. Материалы конференции совокупляют 185 страниц печатного текста. Российская делегация была самой многочисленной и составила пять человек, двое из которых являются сотрудниками PDC SPb, остальные - завсегдатаи этого форума.
У нас есть шанс надеяться, что следующая конференция по VIP пройдёт в Петербурге.
Особая благодарность всем, кто дочитал до этого места.

Елизавета Сафро · 15.06.2006, 21:38

Prolog Development Center (PDC) предлагает пользователям Visual Prolog бесплатно скачать труды Международная Конференции VIP-ALC ‘06 (Visual Prolog Applications and Language Conference).
Подробности - на сайте конфереции: www.visual-prolog.com/conference2006/default.htm.
Отзывы участников конференции вы можете прочитать в форуме Visual Prolog (http://discuss.visual-prolog.com/viewtopic.php?t=6344).

------------------
Елизавета Сафро
www.visual-prolog.com

Винитарх · 08.08.2006, 20:19

VictorY пишет:

Цитата:

Для тех, кто дорос до использования postVIP5 версий Visual Prolog:
На сайте PDC http://www.visual-prolog.com можно скачать версию 7.0 Personal Edition.

Сергей Пеньков · 18.08.2006, 00:25

Цитата:

VictorY пишет:
Для тех, кто дорос до использования postVIP5 версий Visual Prolog:

Интересно, как долго будут продолжаться попытки реанимации насильно похороненного славного VIP5?

Представляете, Miscosoft бы рекламировала новый VIsual Basic 6 как postVB 5?

И в то же время - неплохая идея называть все VIP, вышедшие после пятерки, как postVIP5. Ну типа до рождества и после.

То есть сейчас мы имеем VIP 2 AD, не так ли? А VIP 4 - это VIP 1 BC.

Это настоящая новость в мире Пролога.

HeiHeShang · 23.08.2006, 17:37

Да ладно тебе, че ты к парням преципился, не все ли равно как они свой же продукт называют. Главное чтобы работал.

Опции темы
Версия для печати Отправить по электронной почте
Опции просмотра
Линейный вид Комбинированный вид Древовидный вид

Похожие темы
Тема	Автор	Раздел	Ответов	Последнее сообщение
j2me, jsr-184, m3g. Как передавать обьекты с одного мира в другой?	Димтрий	Java	0	31.08.2011 18:36
Последние судьбы России и мира	boiyko	Общетематический	4	01.05.2011 12:30
Машины мира.........	Матрикс	Авто и мото	66	15.02.2011 12:57
Возможно найти базу данных стран мира с его городами и школ	Aram	.NET	3	18.10.2008 06:22
просто новости	Cerber86	Общетематический	2	17.09.2008 12:48
Монстры из мира блоков питания	VipeR	Новости	2	15.06.2007 06:50
Как создать карты мира	Fat-Zer	Алгоритмы	1	17.04.2007 20:12
Новости культуры	SH@DOW	Юмор	1	14.09.2006 21:35
Аномальные новости	лисс	Офтопик	31	22.02.2005 18:12
Требуются программеры для проекта виртуального мира	swd	Некоммерческие проекты	1	15.02.2004 03:42

Винитарх Специалист Сообщений: 7,953 Сказал(а) спасибо: 2 Поблагодарили 302 раз(а) в 302 сообщениях Регистрация: 01.03.2003 Адрес: Краснодар	Новости из мира Пролога! - 15.01.2005, 18:18 Помещайте сюда самую свежую информацию о последних разработках в логическом программировании, а также Ваши личные мысли и отзывы по этим вопросам.

Елизавета Сафро Member Сообщений: 19 Сказал(а) спасибо: 0 Поблагодарили 0 раз(а) в 0 сообщениях Регистрация: 01.07.2004	20.04.2005, 14:00 Дорогие друзья! В планы развития Visual Prolog внесены уточнения: www.visual-prolog.com/vip6/product/plans.htm. Елизавета Сафро Prolog Development Center

Елизавета Сафро Member Сообщений: 19 Сказал(а) спасибо: 0 Поблагодарили 0 раз(а) в 0 сообщениях Регистрация: 01.07.2004	14.11.2005, 16:34 Prolog Development Сenter приглашает Вас принять участие в конференции Visual Prolog Applications & Language Conference, которая состоится в апреле 2006 года в Португалиии. Подробности - на сайте http://www.pdc.dk/uk/seminar2006/.

VictorY Member Сообщений: 984 Сказал(а) спасибо: 0 Поблагодарили 43 раз(а) в 43 сообщениях Регистрация: 10.02.2005	07.02.2006, 12:07 Программа конференции VIP-ALC 2006 сформирована. http://www.visual-prolog.com/conference200...program-tec.htm

HeiHeShang Member Сообщений: 75 Сказал(а) спасибо: 0 Поблагодарили 0 раз(а) в 0 сообщениях Регистрация: 10.03.2005	23.08.2006, 17:37 Да ладно тебе, че ты к парням преципился, не все ли равно как они свой же продукт называют. Главное чтобы работал.

Ads