Мобильная версия форумов
Открыть
 −18°C
завтра: −4°C
Погода в Перми
−18°C
вечером−10°C
ночью−10°C
завтра−4°C
Подробно
 66,20
−0.0448
Курс USD ЦБ РФна 20 февраля
66,2022
−0.0448
 74,82
−0.0904
Курс EUR ЦБ РФна 20 февраля
74,8151
−0.0904
PRM.Форум /Компьютеры Интернет Связь / Программирование /

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

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

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

  • activist

    Сообщений: 120

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

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

  • guru

    Сообщений: 7010

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

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

  • veteran

    Сообщений: 1583

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

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

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

  • guru

    Сообщений: 7010

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

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

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

  • рыжий котэ

    Сообщений: 12083

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

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

  • guru

    Сообщений: 7010

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

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

  • шатун сибирский обыкновенный

    Сообщений: 7462

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

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

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

  • guru

    Сообщений: 7010

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

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

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

  • шатун сибирский обыкновенный

    Сообщений: 7462

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

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

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

  • рыжий котэ

    Сообщений: 12083

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

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

  • guru

    Сообщений: 7010

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

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

  • guru

    Сообщений: 7010

    Хе-хе.

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

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

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

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

  • activist

    Сообщений: 120

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

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

  • activist

    Сообщений: 341

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

  • activist

    Сообщений: 120

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

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

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

  • activist

    Сообщений: 120

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

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

    Исправлено пользователем 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

  • activist

    Сообщений: 225

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

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

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

Модератор: