13°C
завтра: 8°C
Погода в Перми
13°C
вечером12°C
ночью7°C
завтра8°C
Подробно
 64,12
+0.2941
Курс USD ЦБ РФна 18 сентября
64,1213
+0.2941
 70,60
−0.0655
Курс EUR ЦБ РФна 18 сентября
70,6040
−0.0655
PRM.Форум /Компьютеры Интернет Связь / Программирование /

Где можно найти информацию про PROLOG

  • нужна информация про Пролог может ссылочек подкинете

  • А яндекс уже отменили?
    ну хотя бы:
    http://alice.stup.ac.ru/~dvn/prolog/

  • А по Lisp чо нить такое же есть?

    Слово не воробей, с воза упало и топором не вырубишь...

  • Подскажите, а что за оболочка Прологовская? Как она называется? Говорят, что есть что-то вроде Турбо-Пролог? Есть такой зверь?

    и опыт , сын ошибок трудных....

  • Насколько я знаю Турбо пролог давно не поддерживается, у меня где-то есть древняя версия это системы.

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

    А кто использует пролог в реальных проектах? Если не секрет каких?

  • Cпасибо.
    А где вот можно найти дистрибы Visual Prolog-а, например.

    Да никаких реальных проектов в данный момент, просто в магистратуре сказали, что надо будет написать маханькую программулину на прологе, чтобы получить допуск к экзамену. Мол на предмете прикладной логики изучается нынче пролог :а\?:

    и опыт , сын ошибок трудных....

  • По Лиспу тут целый топик был... весьма большой, там же и сцылки приведены.

    Осторожнее с травой!
    Если хапнешь много дряни
    Увезут тебя с собой
    Злые инопланетяне

  • Елки-палки. Про Лисп спрашивали в 2003 году! А сейчас я спрашиваю про пролог. Можно, пожалуйста, ответить по заданному вопросу. :а\?:

    и опыт , сын ошибок трудных....

  • Неправда Ваша, по Лиспу дискуссия была не далее как осенью :).

    По Прологу у меня где-то лекции валялись.... вместе с ТурбоПрологом (в Универе курс был, как раз "Прикладная логика" назывался).
    Я там даж чего-то ваял.... :). Даж вроде с окошками досовскими :).
    Про Visual Prolog не слышал.

    Когда проснулся, тогда и "Доброе утро!"

  • Неправда Ваша, по Лиспу дискуссия была не далее как осенью
    Да я в курсе, читала. Но я о своем топике. То что здесь-то начальный топ идет от 2003 года. А сейчас мол, в 2005 я спрашиваю про Пролог.

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

    и опыт , сын ошибок трудных....

  • Нда, на даты постов я не посмотрел.... :безум:

    Случайно НГУ :).
    Насколько срочно Вам это надо?
    Я завтра-послезавтра уезжаю на пару недель.

    Когда проснулся, тогда и "Доброе утро!"

  • А я отвечаю Dimano O Mano

    Осторожнее с травой!
    Если хапнешь много дряни
    Увезут тебя с собой
    Злые инопланетяне

  • Который интересовался этим вопросом 06.01.03 14:22. Думаешь ему еще это актуально??? :миг:

    и опыт , сын ошибок трудных....

  • Хе-хе.

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

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

    Заранее спасибо.

    и опыт , сын ошибок трудных....

  • Большое спасибо, действительно уже не актуально.

    Слово не воробей, с воза упало и топором не вырубишь...

  • посмотри на 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

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

    Слово не воробей, с воза упало и топором не вырубишь...

    Исправлено пользователем Dimano o Mano (12.02.05 23:54)

  • и еще раз изивините, это уже для меня совсем не актуально. Тем не менее, спасибо за внимание... дествительно спасибо

    Слово не воробей, с воза упало и топором не вырубишь...

    Исправлено пользователем Dimano o Mano (12.02.05 23:57)

  • > ...лисп несколько формулярны язык...
    Совершенно не пойму, что Вы имели в виду.

    >я понимаю, когда читая топики, Вы видели нечто общее
    Я читал не топики на форуме, а книги, общался с людьми, изучал материалы на сайтах вендоров 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.

Записей на странице:

Перейти в форум

Модератор: