НГС.Форум /Компьютеры Интернет Связь / Программирование /

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

Печать RSS Деревом

Анонимный пользователь
17.12.02 22:43
нужна информация про Пролог может ссылочек подкинете
КопироватьСсылка
Рассказать друзьям
Анонимный пользователь
18.12.02 02:46Ответ на сообщение Где можно найти информацию про PROLOG пользователя Анонимный пользователь
А яндекс уже отменили?
ну хотя бы:
http://alice.stup.ac.ru/~dvn/prolog/
КопироватьСсылка
Рассказать друзьям
Dimano o Mano
activist
Сообщений: 120
06.01.03 14:22Ответ на сообщение Re: Где можно найти информацию про PROLOG пользователя Анонимный пользователь
А по Lisp чо нить такое же есть?
Слово не воробей, с воза упало и топором не вырубишь...
КопироватьСсылка
Рассказать друзьям
Babe
guru
Сообщений: 7010
09.02.05 21:33Ответ на сообщение Где можно найти информацию про PROLOG пользователя Анонимный пользователь
Подскажите, а что за оболочка Прологовская? Как она называется? Говорят, что есть что-то вроде Турбо-Пролог? Есть такой зверь?
и опыт , сын ошибок трудных....
КопироватьСсылка
Рассказать друзьям
CoolUser
veteran
Сообщений: 1583
09.02.05 23:38Ответ на сообщение Re: Где можно найти информацию про PROLOG пользователя Babe
Насколько я знаю Турбо пролог давно не поддерживается, у меня где-то есть древняя версия это системы.

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

А кто использует пролог в реальных проектах? Если не секрет каких?
КопироватьСсылка
Рассказать друзьям
Babe
guru
Сообщений: 7010
10.02.05 06:56Ответ на сообщение Re: Где можно найти информацию про PROLOG пользователя CoolUser
Cпасибо.
А где вот можно найти дистрибы Visual Prolog-а, например.

Да никаких реальных проектов в данный момент, просто в магистратуре сказали, что надо будет написать маханькую программулину на прологе, чтобы получить допуск к экзамену. Мол на предмете прикладной логики изучается нынче пролог $:а\?:$
и опыт , сын ошибок трудных....
КопироватьСсылка
Рассказать друзьям
craxx
рыжий котэ
Сообщений: 12083
10.02.05 09:19Ответ на сообщение Re: Где можно найти информацию про PROLOG пользователя Dimano o Mano
По Лиспу тут целый топик был... весьма большой, там же и сцылки приведены.
Осторожнее с травой!
Если хапнешь много дряни
Увезут тебя с собой
Злые инопланетяне
КопироватьСсылка
Рассказать друзьям
Babe
guru
Сообщений: 7010
10.02.05 10:28Ответ на сообщение Re: Где можно найти информацию про PROLOG пользователя craxx
Елки-палки. Про Лисп спрашивали в 2003 году! А сейчас я спрашиваю про пролог. Можно, пожалуйста, ответить по заданному вопросу. $:а\?:$
и опыт , сын ошибок трудных....
КопироватьСсылка
Рассказать друзьям
Поручик Голицын
шатун сибирский обыкновенный
Сообщений: 7462
10.02.05 11:13Ответ на сообщение Re: Где можно найти информацию про PROLOG пользователя Babe
Неправда Ваша, по Лиспу дискуссия была не далее как осенью :).

По Прологу у меня где-то лекции валялись.... вместе с ТурбоПрологом (в Универе курс был, как раз "Прикладная логика" назывался).
Я там даж чего-то ваял.... :). Даж вроде с окошками досовскими :).
Про Visual Prolog не слышал.
Когда проснулся, тогда и "Доброе утро!"
КопироватьСсылка
Рассказать друзьям
Babe
guru
Сообщений: 7010
10.02.05 12:08Ответ на сообщение Re: Где можно найти информацию про PROLOG пользователя Поручик Голицын
Неправда Ваша, по Лиспу дискуссия была не далее как осенью
Да я в курсе, читала. Но я о своем топике. То что здесь-то начальный топ идет от 2003 года. А сейчас мол, в 2005 я спрашиваю про Пролог.

По Прологу у меня где-то лекции валялись.... вместе с ТурбоПрологом
А можно с вами как-то связаться?
Случайно не НГУ?
и опыт , сын ошибок трудных....
КопироватьСсылка
Рассказать друзьям
Поручик Голицын
шатун сибирский обыкновенный
Сообщений: 7462
10.02.05 12:28Ответ на сообщение Re: Где можно найти информацию про PROLOG пользователя Babe
Нда, на даты постов я не посмотрел....

Случайно НГУ :).
Насколько срочно Вам это надо?
Я завтра-послезавтра уезжаю на пару недель.
Когда проснулся, тогда и "Доброе утро!"
КопироватьСсылка
Рассказать друзьям
craxx
рыжий котэ
Сообщений: 12083
10.02.05 12:44Ответ на сообщение Re: Где можно найти информацию про PROLOG пользователя Babe
А я отвечаю Dimano O Mano
Осторожнее с травой!
Если хапнешь много дряни
Увезут тебя с собой
Злые инопланетяне
КопироватьСсылка
Рассказать друзьям
Babe
guru
Сообщений: 7010
10.02.05 15:30Ответ на сообщение Re: Где можно найти информацию про PROLOG пользователя craxx
Который интересовался этим вопросом 06.01.03 14:22. Думаешь ему еще это актуально???
и опыт , сын ошибок трудных....
КопироватьСсылка
Рассказать друзьям
Babe
guru
Сообщений: 7010
10.02.05 15:31Ответ на сообщение Re: Где можно найти информацию про PROLOG пользователя Поручик Голицын
Хе-хе.

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

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

Заранее спасибо.
и опыт , сын ошибок трудных....
КопироватьСсылка
Рассказать друзьям
Dimano o Mano
activist
Сообщений: 120
11.02.05 15:15Ответ на сообщение Re: Где можно найти информацию про PROLOG пользователя craxx
Большое спасибо, действительно уже не актуально.
Слово не воробей, с воза упало и топором не вырубишь...
КопироватьСсылка
Рассказать друзьям
splashman
activist
Сообщений: 341
12.02.05 15:39Ответ на сообщение Где можно найти информацию про PROLOG пользователя Анонимный пользователь
посмотри на ftp://land5.bnsu.ru/docs
Блин, родился...
КопироватьСсылка
Рассказать друзьям
Анонимный пользователь
12.02.05 20:47Ответ на сообщение Re: Где можно найти информацию про PROLOG пользователя 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
activist
Сообщений: 120
13.02.05 00:51Ответ на сообщение Re: пользователя Анонимный пользователь
теперь простите меня... лисп несколько формулярны язык... пролог чуть чуть несколько иное творение... я понимаю, когда читая топики, Вы видели нечто общее... напишите прогу... что нить свое... уникальное... а потом свяжите это все ну хоты бы рядом... а ссылок я помойку целую изучил...
Слово не воробей, с воза упало и топором не вырубишь...
Исправлено пользователем Dimano o Mano (13.02.05 00:54)
КопироватьСсылка
Рассказать друзьям
Dimano o Mano
activist
Сообщений: 120
13.02.05 00:56Ответ на сообщение Re: пользователя Анонимный пользователь
и еще раз изивините, это уже для меня совсем не актуально. Тем не менее, спасибо за внимание... дествительно спасибо
Слово не воробей, с воза упало и топором не вырубишь...
Исправлено пользователем Dimano o Mano (13.02.05 00:57)
КопироватьСсылка
Рассказать друзьям
Анонимный пользователь
13.02.05 06:07Ответ на сообщение Re: пользователя Dimano o Mano
> ...лисп несколько формулярны язык...
Совершенно не пойму, что Вы имели в виду.

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

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

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

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

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

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

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

Regards
Lisper
КопироватьСсылка
Рассказать друзьям
Француз
activist
Сообщений: 225
17.02.05 19:02Ответ на сообщение Re: Где можно найти информацию про PROLOG пользователя CoolUser
Я использовал GNU-Prolog, SICStus Prolog, в основном первый, работая над проектом "Constraint Solver Learning" (я аспирант). Мне, правда, от Прологов нужен был как раз встроенный Constraint Solver.
В частности, в GNU-Prolog можно интегрировать собственный Solver. Чем я одно время и занимался. Сам Solver обучался отдельной системой, а потом интегрировался в Prolog.
Короче, меня интересовало в Прологах не сам язык, а их сторона Constraint Programming.
Тем не менее, с GNU-Prolog пришлось плотно поработать, вплоть до модификации source code.
КопироватьСсылка
Рассказать друзьям

НГС.Форум /Компьютеры Интернет Связь / Программирование /

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

открыть в новом окне

Модератор:

flopic