Где можно найти информацию про PROLOG
2901
20
нужна информация про Пролог может ссылочек подкинете
А яндекс уже отменили?
ну хотя бы:
http://alice.stup.ac.ru/~dvn/prolog/
Подскажите, а что за оболочка Прологовская? Как она называется? Говорят, что есть что-то вроде Турбо-Пролог? Есть такой зверь?
Babe
Насколько я знаю Турбо пролог давно не поддерживается, у меня где-то есть древняя версия это системы.

Сейчас распространнены Visual Prolog и Amzi Prolog. Работал и с той, и с другой немного.

А кто использует пролог в реальных проектах? Если не секрет каких?
CoolUser
Cпасибо.
А где вот можно найти дистрибы Visual Prolog-а, например.

Да никаких реальных проектов в данный момент, просто в магистратуре сказали, что надо будет написать маханькую программулину на прологе, чтобы получить допуск к экзамену. Мол на предмете прикладной логики изучается нынче пролог :а\?:
Dimano o Mano
По Лиспу тут целый топик был... весьма большой, там же и сцылки приведены.
craxx
Елки-палки. Про Лисп спрашивали в 2003 году! А сейчас я спрашиваю про пролог. Можно, пожалуйста, ответить по заданному вопросу. :а\?:
Babe
Неправда Ваша, по Лиспу дискуссия была не далее как осенью :).

По Прологу у меня где-то лекции валялись.... вместе с ТурбоПрологом (в Универе курс был, как раз "Прикладная логика" назывался).
Я там даж чего-то ваял.... :). Даж вроде с окошками досовскими :).
Про Visual Prolog не слышал.
Поручик Голицын
Неправда Ваша, по Лиспу дискуссия была не далее как осенью
Да я в курсе, читала. Но я о своем топике. То что здесь-то начальный топ идет от 2003 года. А сейчас мол, в 2005 я спрашиваю про Пролог.

По Прологу у меня где-то лекции валялись.... вместе с ТурбоПрологом
А можно с вами как-то связаться?
Случайно не НГУ? :миг:
Babe
Нда, на даты постов я не посмотрел.... :безум:

Случайно НГУ :).
Насколько срочно Вам это надо?
Я завтра-послезавтра уезжаю на пару недель.
Babe
А я отвечаю Dimano O Mano
craxx
Который интересовался этим вопросом 06.01.03 14:22. Думаешь ему еще это актуально??? :миг:
Поручик Голицын
Хе-хе.

*Жму руки* Коллеги будем :).

А Вы (ты) в Академе или в городе обитаете (-ешь)? А то я бы сегодня зашла.
Если нет. то нет, это не так срочно. Могу недельку подождать.

Заранее спасибо.
craxx
Большое спасибо, действительно уже не актуально.
Dimano o Mano
Простите за некоторый оффтопик. На самом деле Пролог и Лисп связаны между собой (исторически и по объективным причинам), так как на Лиспе удобно реализовывать Пролог (см. OnLisp ниже). Многие крупные вендоры поставляют разновидности Пролога вместе с Лиспом.

> А по Лиспу что-нибудь такое же есть ?

Во первых спецификация Common Lisp
http://www.lispworks.com/documentation/HyperSpec/index.html, но прямо по ней язык изучать не рекомендуется.

Свежая книга Practical Common Lisp
(даже еще не вышла в печать):
http://www.gigamonkeys.com/book/

Еще хорошая обучающая книга Successful Lisp:
http://psg.com/~dlamkins/sl/contents.html

Книга, в основном посвященная уникальным возможностям макросов Common Lisp:
http://www.paulgraham.com/lib/paulgraham/onlisp.pdf
там кстати реализация пролога описана.

В общем, рекомендуется почитать статейки на сайте Пола Грэхэма: http://www.paulgraham.com/articles.html
и в частности http://www.paulgraham.com/avg.html

Реализацию Common Lisp для обучения IMHO лучше брать наwww.lispworks.com (одна из самых известных и зрелых реализаций) или http://www.cormanlisp.com (небольшая но впечатляющая реализация под Windows с хорошим интерфейсом для взаимодействия с ОС и компилятор нелохой).

С наилучими пожеланиями
Lisper
теперь простите меня... лисп несколько формулярны язык... пролог чуть чуть несколько иное творение... я понимаю, когда читая топики, Вы видели нечто общее... напишите прогу... что нить свое... уникальное... а потом свяжите это все ну хоты бы рядом... а ссылок я помойку целую изучил...
и еще раз изивините, это уже для меня совсем не актуально. Тем не менее, спасибо за внимание... дествительно спасибо
Dimano o Mano
> ...лисп несколько формулярны язык...
Совершенно не пойму, что Вы имели в виду.

>я понимаю, когда читая топики, Вы видели нечто общее
Я читал не топики на форуме, а книги, общался с людьми, изучал материалы на сайтах вендоров Common Lisp. Думаю, мне это общее совсем не привидилось. Хотя как языки они действительно имеют немного общего.

>напишите прогу... что нить свое... уникальное... а потом >свяжите это все ну хоты бы рядом...

Да написал уже и не одну, только раздавать права не имею, заказчик осудит.

Из не моих творений, вот посмотрите программку для визуализации регулярных выражений, написанную под LispWorks, народ вроде хвалит:
http://weitz.de/files/regex-coach.exe

А вообще почитать, что делают на Common Lisp можно по адресу http://www.franz.com/success/

> а ссылок я помойку целую изучил...

Лично я не давал никакую помойку ссылок, наоборот старался упорядочить и дать с краткими описаниями самое полезное (сами понимаете, что ссылок только на основные ресурсы десятки).

Regards
Lisper
CoolUser
Я использовал GNU-Prolog, SICStus Prolog, в основном первый, работая над проектом "Constraint Solver Learning" (я аспирант). Мне, правда, от Прологов нужен был как раз встроенный Constraint Solver.
В частности, в GNU-Prolog можно интегрировать собственный Solver. Чем я одно время и занимался. Сам Solver обучался отдельной системой, а потом интегрировался в Prolog.
Короче, меня интересовало в Прологах не сам язык, а их сторона Constraint Programming.
Тем не менее, с GNU-Prolog пришлось плотно поработать, вплоть до модификации source code.