Так же своеобразной библией пролога считается http://www.amazon.de/Prolog-Programming-Artifical-Intelligence-Bratko/dp/0201403757
| Версия для печати темы
Нажмите сюда для просмотра этой темы в оригинальном формате |
| Форум программистов > Prolog > Полезные ссылки |
| Автор: Guedda 8.11.2006, 18:10 |
| Предлагаю складывать сюда ссылки по программированию на Прологе. Вот моя самая главная ссылка: http://www.mari-el.ru/mmlab/home/prolog/study_l.html очень полезная ссылка, так как там находится учебник по Прологу. Также полезной может быть http://ru.wikipedia.org/wiki/Prolog Там расписано про язык , теория, история etc... |
| Автор: sergejzr 9.11.2006, 17:19 |
| Вообще, начать наверное надо с интерпретатора http://www.swi-prolog.org/. Так же своеобразной библией пролога считается http://www.amazon.de/Prolog-Programming-Artifical-Intelligence-Bratko/dp/0201403757 |
| Автор: Artemios 10.11.2006, 13:53 |
| http://www.intuit.ru/department/pl/plprolog/ - учебник по Прологу. |
| Автор: powerOn 11.11.2006, 23:04 |
| http://www.visual-prolog.com/официальный сайт. И Документация и IDE. |
| Автор: Artemios 21.11.2006, 02:41 |
| http://dstu2204.narod.ru/3sem/lp/index.htm Всего по-немножку: лабораторные, дистрибутив Arity Prolog (не пробовал - не знаю),различные статьи и ссылки, но что мне более всего отсюда пригодилось: книги http://dstu2204.narod.ru/3sem/lp/bratko.cab (архив cab) и ftp://www.scientific-library.net/pub/data/kolxo3/_djvu/Cs_Computer%20science/CsPl_Programming%20languages/Kloksin,%20Mellish.%20Programmirovanie%20na%20jazyke%20Prolog%20(ru)(T)(334s).djvu (в формате djvu) |
| Автор: Guedda 21.11.2006, 08:13 |
| Ещё вот интересный интрепретатор, с которым я работаю: http://www.amzi.com/download/index.htm |
| Автор: Artemios 21.11.2006, 19:24 |
| Сделал подборку по реализациям Пролога, поддерживающим http://pauillac.inria.fr/~deransar/prolog/docs.html (Turbo Prolog и Visual Prolog сюда не входят, как неподдерживающие стандарт). http://gprolog.inria.fr/ http://www.swi-prolog.org/ http://www.ncc.up.pt/~vsc/Yap/ http://www.als.com/ http://www.amzi.com/ http://www.binnetcorp.com/BinProlog/ http://www.probp.com/ http://www.clip.dia.fi.upm.es/Software/index.html http://ctp.di.fct.unl.pt/~amd/cxprolog/ http://www.ifcomputer.com/ http://www.ugosweb.com/jiprolog/ http://www.kprolog.com/ http://www.lpa.co.uk/ http://www.cs.tcd.ie/open-prolog/ http://www.itee.uq.edu.au/~pjr/HomePages/QuPrologHome.html http://www.sics.se/isl/quintus/ http://www.sics.se/isl/sicstus.html |
| Автор: skyboy 21.11.2006, 19:56 |
| как же http://www.ezy-software.com/ezyprolog/Prolog_Inference_Engine/ezy_prolog_overview.htm?! Один из немногих компиляторов полноценных Win32-приложений. И консольные программы создавать можно... |
| Автор: skyboy 30.11.2006, 01:30 |
| Думаю, Artemios будет меня бить.... Итак, то, что нарыл касательно реализации языка логического программирования в сфере .NET: http://prolog.hodroj.net/ (к сожалению, пока выросли только до уровня DEMO, как авторы сами характеризуют, но, как на меня, уже неплохо; сам компилятор не смотрел - только читал описания) http://www.dcs.ed.ac.uk/home/jjc/psharp/psharp-1.1/dlpsharp.html(даже свою среду для разработки имеет) Приведенные языки, по всей видимости, транслируются в булевские методы/функции С#, а потом уж компилируются. Кого-нить это смущает? Меня - нет  Как и возможные отклонения от стандарта при реализации. Главное - что я могу решение задачи отцов и детей вшить в dll и заюзать потом предикативную логику работы в C# или VB.NET  |
| Автор: Artemios 30.11.2006, 02:16 | ||||||
[offtop]
не, не буду. Я высказывал лишь имхо, связанное с тем, что чистый Пролог позволяет мне решать более широкий спектр задач. А компиляция/интерфейс -- зачем они мне, когда для этого существуют более приспособленные, императивные языки. То есть цепляю я so (или dll, если в винде) пролога к своей программе с нормальной Гуёй, и полноценно использую не только резолюцию, но и динамическое создание новых предикатов и правил. И не забочусь о вложенности списков [/offtop] Кстати, по поводу интеграции Пролога с другими языками программирования. Кто-нибудь встречал реализацию Пролога на Python-е? Привязки из Питона к нормальным пролог-системам есть, например к SWI -- http://www.gocept.com/open_source_software/Pylog. Мне сейчас интересна возможность использования логического программирования средствами самого Питона. (Раньше здесь: http://christophe.delord.free.fr/pylog/index.html что-то было, теперь одна шапка без файлов под ссылками) Добавлено @ 02:24 [offtop]
там говорят:
а значит и бить не за что [/offtop] |
| Автор: Artemios 2.12.2006, 18:45 |
| Общий взгляд на http://www.softcraft.ru/paradigm/dp/index.shtml. |
| Автор: admus 4.4.2009, 15:02 |
Интернет-университет, курс лекций по PROLOG http://www.intuit.ru/department/pl/plprolog/  |
| Автор: hkdkest 4.6.2009, 13:40 |
| http://www.codingrus.ru/articles.php?cat_id=16 • http://www.codingrus.ru/readarticle.php?article_id=773 Данная задача встречается в сборниках по занимательной ма- математике, начиная с XVIII века, и звучит следующим образом. Крестьянину надо через речку перевезти волка, козу и капусту. В лодке может поместиться только один человек, а с ним или волк, или коза, или капуста. Если оставить волка с козой без человека, то волк съест козу; если оставить козу с капустой, то коза съест капусту. В присутствии же человека коза не может съесть капусту, волк - козу. Человек все-таки перевез свой груз через речку. Как он это сделал? • http://www.codingrus.ru/readarticle.php?article_id=790 |
| Автор: hkdkest 5.6.2009, 15:58 |
| http://www.codingrus.ru/readarticle.php?article_id=765 Язык Пролог предназначен для использования в разработ- ках по искусственному интеллекту и в современных эксперт- ных системах. Повышение требований к "дружественности" интерфейса и интеллектуальности программных средств обслужи- вает рост популярности этого языка. |
| Автор: hkdkest 16.6.2009, 12:08 |
| http://codingrus.ru/readarticle.php?article_id=919 http://codingrus.ru/readarticle.php?article_id=920 http://codingrus.ru/readarticle.php?article_id=921 http://codingrus.ru/readarticle.php?article_id=922 |
| Автор: saiklo 30.6.2009, 12:34 |
| powerOn, свяжись со мной пожалуйста срочно icq 426182710 |
| Автор: hkdkest 7.1.2010, 12:44 |
| http://www.codingrus.ru/articles.php?cat_id=16 |
| Автор: Винитарх 16.2.2010, 13:05 |
| Вот форум по всем Прологам: http://www.progz.ru/forum/index.php?showforum=10 |
| Автор: rrrFer 5.6.2012, 07:13 |
| Статьи: http://pro-prof.com/archives/845 http://pro-prof.com/archives/1283 http://pro-prof.com/archives/1299 http://pro-prof.com/forums/forum/prolog-help |
| Автор: tumanovalex 28.8.2012, 19:30 |
| Один из разработчиков системы Visual Prolog, Виктор Юхтенко, выпустил первую часть учебного курса по Visual Prolog. Первая часть размещена на http://store.payloadz.com/go?id=1050474 |
| Автор: prologfan 20.2.2014, 10:41 |
| Новый курс по логическому программированию и Visual Prolog 7.x на ИНТУИТ: http://www.intuit.ru/studies/courses/12333/1180/info |
