|
|
|
Guedda |
|
|||
Подрывник Профиль Группа: Завсегдатай Сообщений: 3137 Регистрация: 27.12.2005 Где: Ростов-на-Дону Репутация: 2 Всего: 78 |
Предлагаю складывать сюда ссылки по программированию на Прологе. Вот моя самая главная ссылка:
http://www.mari-el.ru/mmlab/home/prolog/study_l.html очень полезная ссылка, так как там находится учебник по Прологу. Также полезной может быть эта ссылка. Там расписано про язык , теория, история etc... -------------------- Ll 2 |
|||
|
||||
sergejzr |
|
|||
Un salsero Профиль Группа: Админ Сообщений: 13285 Регистрация: 10.2.2004 Где: Германия г .Ганновер Репутация: 1 Всего: 360 |
Вообще, начать наверное надо с интерпретатора SWI Prolog.
Так же своеобразной библией пролога считается "Prolog" by Ivan Bratko |
|||
|
||||
Artemios |
|
|||
Опытный Профиль Группа: Участник Сообщений: 405 Регистрация: 14.8.2006 Где: Саратов, Россия Репутация: 6 Всего: 50 |
http://www.intuit.ru/department/pl/plprolog/ - учебник по Прологу.
Это сообщение отредактировал(а) Guedda - 11.11.2006, 10:34 -------------------- fib = 1: 1: [ x+y | (x,y) <- zip fib (tail fib) ] |
|||
|
||||
powerOn |
|
|||
software saboteur Профиль Группа: Участник Сообщений: 4367 Регистрация: 7.10.2005 Репутация: нет Всего: 159 |
Visual Prolog официальный сайт. И Документация и IDE.
|
|||
|
||||
Artemios |
|
|||
Опытный Профиль Группа: Участник Сообщений: 405 Регистрация: 14.8.2006 Где: Саратов, Россия Репутация: 6 Всего: 50 |
Логическое программирование
Всего по-немножку: лабораторные, дистрибутив Arity Prolog (не пробовал - не знаю),различные статьи и ссылки, но что мне более всего отсюда пригодилось: книги "Программирование на языке Пролог для искусственного интеллекта. (Иван Братко)" (архив cab) и "Программирование на языке Пролог (У. Клоксин, К. Меллиш)" (в формате djvu) -------------------- fib = 1: 1: [ x+y | (x,y) <- zip fib (tail fib) ] |
|||
|
||||
Guedda |
|
|||
Подрывник Профиль Группа: Завсегдатай Сообщений: 3137 Регистрация: 27.12.2005 Где: Ростов-на-Дону Репутация: 2 Всего: 78 |
-------------------- Ll 2 |
|||
|
||||
Artemios |
|
|||
Опытный Профиль Группа: Участник Сообщений: 405 Регистрация: 14.8.2006 Где: Саратов, Россия Репутация: 6 Всего: 50 |
Сделал подборку по реализациям Пролога, поддерживающим ISO стандарт
(Turbo Prolog и Visual Prolog сюда не входят, как неподдерживающие стандарт). GNU Prolog SWI Prolog YAP ALS Prolog Amzi! Prolog BinProlog B-Prolog CIAO Prolog CxProlog IF/Prolog JIProlog K-Prolog LPA Prolog Open Prolog QU-Prolog Quintus Prolog SICStus Prolog Это сообщение отредактировал(а) Artemios - 26.5.2007, 14:57 -------------------- fib = 1: 1: [ x+y | (x,y) <- zip fib (tail fib) ] |
|||
|
||||
skyboy |
|
|||
неОпытный Профиль Группа: Модератор Сообщений: 9820 Регистрация: 18.5.2006 Где: Днепропетровск Репутация: нет Всего: 260 |
как же EZY Prolog?! Один из немногих компиляторов полноценных Win32-приложений. И консольные программы создавать можно...
|
|||
|
||||
skyboy |
|
|||
неОпытный Профиль Группа: Модератор Сообщений: 9820 Регистрация: 18.5.2006 Где: Днепропетровск Репутация: нет Всего: 260 |
Думаю, Artemios будет меня бить....
Итак, то, что нарыл касательно реализации языка логического программирования в сфере .NET: Prolog.NET (к сожалению, пока выросли только до уровня DEMO, как авторы сами характеризуют, но, как на меня, уже неплохо; сам компилятор не смотрел - только читал описания) P#(даже свою среду для разработки имеет) Приведенные языки, по всей видимости, транслируются в булевские методы/функции С#, а потом уж компилируются. Кого-нить это смущает? Меня - нет Как и возможные отклонения от стандарта при реализации. Главное - что я могу решение задачи отцов и детей вшить в dll и заюзать потом предикативную логику работы в C# или VB.NET |
|||
|
||||
Artemios |
|
|||
Опытный Профиль Группа: Участник Сообщений: 405 Регистрация: 14.8.2006 Где: Саратов, Россия Репутация: 6 Всего: 50 |
[offtop]
не, не буду. Я высказывал лишь имхо, связанное с тем, что чистый Пролог позволяет мне решать более широкий спектр задач. А компиляция/интерфейс -- зачем они мне, когда для этого существуют более приспособленные, императивные языки. То есть цепляю я so (или dll, если в винде) пролога к своей программе с нормальной Гуёй, и полноценно использую не только резолюцию, но и динамическое создание новых предикатов и правил. И не забочусь о вложенности списков [/offtop] Кстати, по поводу интеграции Пролога с другими языками программирования. Кто-нибудь встречал реализацию Пролога на Python-е? Привязки из Питона к нормальным пролог-системам есть, например к SWI -- PyLog (gocept). Мне сейчас интересна возможность использования логического программирования средствами самого Питона. (Раньше здесь: PyLog (другой) что-то было, теперь одна шапка без файлов под ссылками) Добавлено @ 02:24 [offtop] там говорят:
а значит и бить не за что [/offtop] Это сообщение отредактировал(а) Artemios - 30.11.2006, 02:28 -------------------- fib = 1: 1: [ x+y | (x,y) <- zip fib (tail fib) ] |
|||
|
||||
Artemios |
|
|||
Опытный Профиль Группа: Участник Сообщений: 405 Регистрация: 14.8.2006 Где: Саратов, Россия Репутация: 6 Всего: 50 |
Общий взгляд на Декларативное программирование.
-------------------- fib = 1: 1: [ x+y | (x,y) <- zip fib (tail fib) ] |
|||
|
||||
admus |
|
|||
Новичок Профиль Группа: Участник Сообщений: 30 Регистрация: 4.4.2009 Где: Пермь Репутация: нет Всего: нет |
Интернет-университет, курс лекций по PROLOG http://www.intuit.ru/department/pl/plprolog/
|
|||
|
||||
hkdkest |
|
|||
Опытный Профиль Группа: Участник Сообщений: 300 Регистрация: 30.11.2008 Репутация: нет Всего: 1 |
исходники и решенные задачки по прологу
• Решение логических задач в Турбо Прологе. Задача о волке, козе и капусте Данная задача встречается в сборниках по занимательной ма- математике, начиная с XVIII века, и звучит следующим образом. Крестьянину надо через речку перевезти волка, козу и капусту. В лодке может поместиться только один человек, а с ним или волк, или коза, или капуста. Если оставить волка с козой без человека, то волк съест козу; если оставить козу с капустой, то коза съест капусту. В присутствии же человека коза не может съесть капусту, волк - козу. Человек все-таки перевез свой груз через речку. Как он это сделал? • ПОСТРОЕНИЕ ЭКСПЕРТНЫХ СИСТЕМ НА ТУРБО ПРОЛОГЕ. Экспертная система медицинской диагностики Это сообщение отредактировал(а) hkdkest - 4.6.2009, 13:41 |
|||
|
||||
hkdkest |
|
|||
Опытный Профиль Группа: Участник Сообщений: 300 Регистрация: 30.11.2008 Репутация: нет Всего: 1 |
Введение в Турбо Пролог
Язык Пролог предназначен для использования в разработ- ках по искусственному интеллекту и в современных эксперт- ных системах. Повышение требований к "дружественности" интерфейса и интеллектуальности программных средств обслужи- вает рост популярности этого языка. Это сообщение отредактировал(а) hkdkest - 5.6.2009, 16:30 |
|||
|
||||
hkdkest |
|
|||
Опытный Профиль Группа: Участник Сообщений: 300 Регистрация: 30.11.2008 Репутация: нет Всего: 1 |
Задача о шахматах. Расстановка фигур с максимальной угрозой [Prolog] - Prolog
Найти определитель матрицы. Метод Гаусса [Prolog] - Prolog Алгоритм, расчитывающий выигрышные позиции в игре в 20 [SWI Prolog] - Prolog Трансляция арифметических выражений над натуральными числами из канонической (в виде структур) формы в постфиксную форму - Prolog |
|||
|
||||
saiklo |
|
|||
Новичок Профиль Группа: Участник Сообщений: 1 Регистрация: 30.6.2009 Репутация: нет Всего: нет |
powerOn, свяжись со мной пожалуйста срочно icq 426182710
|
|||
|
||||
hkdkest |
|
|||
Опытный Профиль Группа: Участник Сообщений: 300 Регистрация: 30.11.2008 Репутация: нет Всего: 1 |
||||
|
||||
Винитарх |
|
|||
Новичок Профиль Группа: Участник Сообщений: 9 Регистрация: 21.1.2007 Репутация: нет Всего: нет |
||||
|
||||
rrrFer |
|
|||
Бывалый Профиль Группа: Участник Сообщений: 208 Регистрация: 11.5.2008 Где: Красноярск Репутация: нет Всего: 1 |
Статьи:
Обработка списков в прологе. Теория. Примеры. Обработка графов в прологе. Обходы в ширину и в глубину. Решение логических задачи на Prolog. Форум. Помощь студентам в решении задачи на Prolog. Это сообщение отредактировал(а) rrrFer - 2.2.2015, 17:54 |
|||
|
||||
tumanovalex |
|
|||
Шустрый Профиль Группа: Участник Сообщений: 81 Регистрация: 3.1.2005 Репутация: нет Всего: нет |
Один из разработчиков системы Visual Prolog, Виктор Юхтенко, выпустил первую часть учебного курса по Visual Prolog. Первая часть размещена на http://store.payloadz.com/go?id=1050474
|
|||
|
||||
prologfan |
|
|||
Новичок Профиль Группа: Участник Сообщений: 1 Регистрация: 20.2.2014 Репутация: нет Всего: нет |
Новый курс по логическому программированию и Visual Prolog 7.x на ИНТУИТ: http://www.intuit.ru/studies/courses/12333/1180/info
|
|||
|
||||
Правила форума Prolog | |
|
Если Вам понравилась атмосфера форума, заходите к нам чаще! С уважением, Void. |
0 Пользователей читают эту тему (0 Гостей и 0 Скрытых Пользователей) | |
0 Пользователей: | |
« Предыдущая тема | Prolog | Следующая тема » |
|
По вопросам размещения рекламы пишите на vladimir(sobaka)vingrad.ru
Отказ от ответственности Powered by Invision Power Board(R) 1.3 © 2003 IPS, Inc. |