Где можно найти информацию про PROLOG
3073
20
нужна информация про Пролог может ссылочек подкинете
Dimano o Mano
activist
А по Lisp чо нить такое же есть?
Подскажите, а что за оболочка Прологовская? Как она называется? Говорят, что есть что-то вроде Турбо-Пролог? Есть такой зверь?
Насколько я знаю Турбо пролог давно не поддерживается, у меня где-то есть древняя версия это системы.
Сейчас распространнены Visual Prolog и Amzi Prolog. Работал и с той, и с другой немного.
А кто использует пролог в реальных проектах? Если не секрет каких?
Сейчас распространнены Visual Prolog и Amzi Prolog. Работал и с той, и с другой немного.
А кто использует пролог в реальных проектах? Если не секрет каких?
Cпасибо.
А где вот можно найти дистрибы Visual Prolog-а, например.
Да никаких реальных проектов в данный момент, просто в магистратуре сказали, что надо будет написать маханькую программулину на прологе, чтобы получить допуск к экзамену. Мол на предмете прикладной логики изучается нынче пролог
А где вот можно найти дистрибы Visual Prolog-а, например.
Да никаких реальных проектов в данный момент, просто в магистратуре сказали, что надо будет написать маханькую программулину на прологе, чтобы получить допуск к экзамену. Мол на предмете прикладной логики изучается нынче пролог
craxx
рыжий котэ
По Лиспу тут целый топик был... весьма большой, там же и сцылки приведены.
Сейчас читают
Теле2 и поиск сети
4140
53
1. Куча кошек нуждаются в помощи. Куратор Lily76 (часть 4)
144222
439
Зверьё моё
154038
284
Елки-палки. Про Лисп спрашивали в 2003 году! А сейчас я спрашиваю про пролог. Можно, пожалуйста, ответить по заданному вопросу.
Поручик Голицын
шатун сибирский обыкновенный
Неправда Ваша, по Лиспу дискуссия была не далее как осенью :).
По Прологу у меня где-то лекции валялись.... вместе с ТурбоПрологом (в Универе курс был, как раз "Прикладная логика" назывался).
Я там даж чего-то ваял.... :). Даж вроде с окошками досовскими :).
Про Visual Prolog не слышал.
По Прологу у меня где-то лекции валялись.... вместе с ТурбоПрологом (в Универе курс был, как раз "Прикладная логика" назывался).
Я там даж чего-то ваял.... :). Даж вроде с окошками досовскими :).
Про Visual Prolog не слышал.
Babe
guru
Неправда Ваша, по Лиспу дискуссия была не далее как осенью
Да я в курсе, читала. Но я о своем топике. То что здесь-то начальный топ идет от 2003 года. А сейчас мол, в 2005 я спрашиваю про Пролог.
По Прологу у меня где-то лекции валялись.... вместе с ТурбоПрологом
А можно с вами как-то связаться?
Случайно не НГУ?
Да я в курсе, читала. Но я о своем топике. То что здесь-то начальный топ идет от 2003 года. А сейчас мол, в 2005 я спрашиваю про Пролог.
По Прологу у меня где-то лекции валялись.... вместе с ТурбоПрологом
А можно с вами как-то связаться?
Случайно не НГУ?
Поручик Голицын
шатун сибирский обыкновенный
Нда, на даты постов я не посмотрел.... 
Случайно НГУ :).
Насколько срочно Вам это надо?
Я завтра-послезавтра уезжаю на пару недель.
Случайно НГУ :).
Насколько срочно Вам это надо?
Я завтра-послезавтра уезжаю на пару недель.
Который интересовался этим вопросом 06.01.03 14:22. Думаешь ему еще это актуально???
Babe
guru
Хе-хе.
*Жму руки* Коллеги будем :).
А Вы (ты) в Академе или в городе обитаете (-ешь)? А то я бы сегодня зашла.
Если нет. то нет, это не так срочно. Могу недельку подождать.
Заранее спасибо.
*Жму руки* Коллеги будем :).
А Вы (ты) в Академе или в городе обитаете (-ешь)? А то я бы сегодня зашла.
Если нет. то нет, это не так срочно. Могу недельку подождать.
Заранее спасибо.
Dimano o Mano
activist
Большое спасибо, действительно уже не актуально.
splashman
activist
посмотри на ftp://land5.bnsu.ru/docs
Простите за некоторый оффтопик. На самом деле Пролог и Лисп связаны между собой (исторически и по объективным причинам), так как на Лиспе удобно реализовывать Пролог (см. 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
> А по Лиспу что-нибудь такое же есть ?
Во первых спецификация 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
activist
теперь простите меня... лисп несколько формулярны язык... пролог чуть чуть несколько иное творение... я понимаю, когда читая топики, Вы видели нечто общее... напишите прогу... что нить свое... уникальное... а потом свяжите это все ну хоты бы рядом... а ссылок я помойку целую изучил...
Dimano o Mano
activist
и еще раз изивините, это уже для меня совсем не актуально. Тем не менее, спасибо за внимание... дествительно спасибо
> ...лисп несколько формулярны язык...
Совершенно не пойму, что Вы имели в виду.
>я понимаю, когда читая топики, Вы видели нечто общее
Я читал не топики на форуме, а книги, общался с людьми, изучал материалы на сайтах вендоров Common Lisp. Думаю, мне это общее совсем не привидилось. Хотя как языки они действительно имеют немного общего.
>напишите прогу... что нить свое... уникальное... а потом >свяжите это все ну хоты бы рядом...
Да написал уже и не одну, только раздавать права не имею, заказчик осудит.
Из не моих творений, вот посмотрите программку для визуализации регулярных выражений, написанную под LispWorks, народ вроде хвалит:
http://weitz.de/files/regex-coach.exe
А вообще почитать, что делают на Common Lisp можно по адресу http://www.franz.com/success/
> а ссылок я помойку целую изучил...
Лично я не давал никакую помойку ссылок, наоборот старался упорядочить и дать с краткими описаниями самое полезное (сами понимаете, что ссылок только на основные ресурсы десятки).
Regards
Lisper
Совершенно не пойму, что Вы имели в виду.
>я понимаю, когда читая топики, Вы видели нечто общее
Я читал не топики на форуме, а книги, общался с людьми, изучал материалы на сайтах вендоров Common Lisp. Думаю, мне это общее совсем не привидилось. Хотя как языки они действительно имеют немного общего.
>напишите прогу... что нить свое... уникальное... а потом >свяжите это все ну хоты бы рядом...
Да написал уже и не одну, только раздавать права не имею, заказчик осудит.
Из не моих творений, вот посмотрите программку для визуализации регулярных выражений, написанную под LispWorks, народ вроде хвалит:
http://weitz.de/files/regex-coach.exe
А вообще почитать, что делают на Common Lisp можно по адресу http://www.franz.com/success/
> а ссылок я помойку целую изучил...
Лично я не давал никакую помойку ссылок, наоборот старался упорядочить и дать с краткими описаниями самое полезное (сами понимаете, что ссылок только на основные ресурсы десятки).
Regards
Lisper
Я использовал GNU-Prolog, SICStus Prolog, в основном первый, работая над проектом "Constraint Solver Learning" (я аспирант). Мне, правда, от Прологов нужен был как раз встроенный Constraint Solver.
В частности, в GNU-Prolog можно интегрировать собственный Solver. Чем я одно время и занимался. Сам Solver обучался отдельной системой, а потом интегрировался в Prolog.
Короче, меня интересовало в Прологах не сам язык, а их сторона Constraint Programming.
Тем не менее, с GNU-Prolog пришлось плотно поработать, вплоть до модификации source code.
В частности, в GNU-Prolog можно интегрировать собственный Solver. Чем я одно время и занимался. Сам Solver обучался отдельной системой, а потом интегрировался в Prolog.
Короче, меня интересовало в Прологах не сам язык, а их сторона Constraint Programming.
Тем не менее, с GNU-Prolog пришлось плотно поработать, вплоть до модификации source code.
ТОП 5
1
3
4