Поиск:

Ответ в темуСоздание новой темы Создание опроса
> Полезные ссылки, Выкладываем сюда 
:(
    Опции темы
Guedda
Дата 8.11.2006, 18:10 (ссылка) | (нет голосов) Загрузка ... Загрузка ... Быстрая цитата Цитата


Подрывник
****


Профиль
Группа: Завсегдатай
Сообщений: 3137
Регистрация: 27.12.2005
Где: Ростов-на-Дону

Репутация: 2
Всего: 78



Предлагаю складывать сюда ссылки по программированию на Прологе. Вот моя самая главная ссылка:
http://www.mari-el.ru/mmlab/home/prolog/study_l.html

очень полезная ссылка, так как там находится учебник по Прологу.

Также полезной может быть эта ссылка. Там расписано про язык , теория, история etc...


--------------------
Ll 2
PM MAIL WWW ICQ Skype GTalk   Вверх
sergejzr
Дата 9.11.2006, 17:19 (ссылка) | (нет голосов) Загрузка ... Загрузка ... Быстрая цитата Цитата


Un salsero
Group Icon


Профиль
Группа: Админ
Сообщений: 13285
Регистрация: 10.2.2004
Где: Германия г .Ганновер

Репутация: 1
Всего: 360



Вообще, начать наверное надо с интерпретатора SWI Prologsmile

Так же своеобразной библией пролога считается  "Prolog" by Ivan Bratko


--------------------
PM WWW IM ICQ Skype GTalk Jabber AOL YIM MSN   Вверх
Artemios
Дата 10.11.2006, 13:53 (ссылка) | (нет голосов) Загрузка ... Загрузка ... Быстрая цитата Цитата


Опытный
**


Профиль
Группа: Участник
Сообщений: 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) ]
PM MAIL   Вверх
powerOn
Дата 11.11.2006, 23:04 (ссылка) | (нет голосов) Загрузка ... Загрузка ... Быстрая цитата Цитата


software saboteur
****


Профиль
Группа: Участник
Сообщений: 4367
Регистрация: 7.10.2005

Репутация: нет
Всего: 159



Visual Prolog официальный сайт. И Документация и IDE.


--------------------
user posted image нет времени думать - нужно писать КОД!

PM MAIL   Вверх
Artemios
Дата 21.11.2006, 02:41 (ссылка) | (нет голосов) Загрузка ... Загрузка ... Быстрая цитата Цитата


Опытный
**


Профиль
Группа: Участник
Сообщений: 405
Регистрация: 14.8.2006
Где: Саратов, Россия

Репутация: 6
Всего: 50



Логическое программирование
Всего по-немножку: лабораторные, дистрибутив Arity Prolog (не пробовал - не знаю),различные статьи и ссылки,
но что мне более всего отсюда пригодилось: книги 
"Программирование на языке Пролог для искусственного интеллекта. (Иван Братко)"  (архив cab) и 
"Программирование на языке Пролог (У. Клоксин, К. Меллиш)" (в формате djvu)


--------------------
fib = 1: 1: [ x+y | (x,y) <- zip fib (tail fib) ]
PM MAIL   Вверх
Guedda
Дата 21.11.2006, 08:13 (ссылка) | (нет голосов) Загрузка ... Загрузка ... Быстрая цитата Цитата


Подрывник
****


Профиль
Группа: Завсегдатай
Сообщений: 3137
Регистрация: 27.12.2005
Где: Ростов-на-Дону

Репутация: 2
Всего: 78



Ещё вот интересный интрепретатор, с которым я работаю:
Amzi Prolog


--------------------
Ll 2
PM MAIL WWW ICQ Skype GTalk   Вверх
Artemios
Дата 21.11.2006, 19:24 (ссылка) | (нет голосов) Загрузка ... Загрузка ... Быстрая цитата Цитата


Опытный
**


Профиль
Группа: Участник
Сообщений: 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) ]
PM MAIL   Вверх
skyboy
Дата 21.11.2006, 19:56 (ссылка) | (нет голосов) Загрузка ... Загрузка ... Быстрая цитата Цитата


неОпытный
****


Профиль
Группа: Модератор
Сообщений: 9820
Регистрация: 18.5.2006
Где: Днепропетровск

Репутация: нет
Всего: 260



как же EZY Prolog?! Один из немногих компиляторов полноценных Win32-приложений. И консольные программы создавать можно...
PM MAIL   Вверх
skyboy
Дата 30.11.2006, 01:30 (ссылка) | (нет голосов) Загрузка ... Загрузка ... Быстрая цитата Цитата


неОпытный
****


Профиль
Группа: Модератор
Сообщений: 9820
Регистрация: 18.5.2006
Где: Днепропетровск

Репутация: нет
Всего: 260



Думаю, Artemios будет меня бить....
Итак, то, что нарыл касательно реализации языка логического программирования в сфере .NET:
Prolog.NET (к сожалению, пока выросли только до уровня DEMO, как авторы сами характеризуют, но, как на меня, уже неплохо; сам компилятор не смотрел - только читал описания)
P#(даже свою среду для разработки имеет)
Приведенные языки, по всей видимости, транслируются в булевские методы/функции С#, а потом уж компилируются. Кого-нить это смущает? Меня  - нет  smile Как и возможные отклонения от стандарта при реализации. Главное - что я могу решение задачи отцов и детей вшить в dll и заюзать потом предикативную  логику работы в C# или VB.NET  smile 
PM MAIL   Вверх
Artemios
Дата 30.11.2006, 02:16 (ссылка) | (нет голосов) Загрузка ... Загрузка ... Быстрая цитата Цитата


Опытный
**


Профиль
Группа: Участник
Сообщений: 405
Регистрация: 14.8.2006
Где: Саратов, Россия

Репутация: 6
Всего: 50



[offtop]
Цитата(skyboy @  30.11.2006,  01:30 Найти цитируемый пост)
Думаю, Artemios будет меня бить....

smile не, не буду. Я высказывал лишь имхо, связанное с тем, что чистый Пролог позволяет мне решать более широкий спектр задач. А компиляция/интерфейс -- зачем они мне, когда для этого существуют более приспособленные, императивные языки. То есть цепляю я so (или dll, если в винде) пролога к своей программе с нормальной Гуёй, и полноценно использую не только резолюцию, но и динамическое создание новых предикатов и правил. И не забочусь о вложенности списков smile
[/offtop]

Кстати, по поводу интеграции Пролога с другими языками программирования.
Кто-нибудь встречал реализацию Пролога на Python-е?
Привязки из Питона к нормальным пролог-системам есть, например к SWI -- PyLog (gocept).
Мне сейчас интересна возможность использования логического программирования средствами самого Питона.
(Раньше здесь: PyLog (другой) что-то было, теперь одна шапка без файлов под ссылками)

Добавлено @ 02:24 
[offtop]
Цитата(skyboy @  30.11.2006,  01:30 Найти цитируемый пост)
Думаю, Artemios будет меня бить....
...
Prolog.NET

там говорят:
Цитата

ISO-Prolog compatibility.

а значит и бить не за что smile
[/offtop]


Это сообщение отредактировал(а) Artemios - 30.11.2006, 02:28


--------------------
fib = 1: 1: [ x+y | (x,y) <- zip fib (tail fib) ]
PM MAIL   Вверх
Artemios
Дата 2.12.2006, 18:45 (ссылка) | (нет голосов) Загрузка ... Загрузка ... Быстрая цитата Цитата


Опытный
**


Профиль
Группа: Участник
Сообщений: 405
Регистрация: 14.8.2006
Где: Саратов, Россия

Репутация: 6
Всего: 50





--------------------
fib = 1: 1: [ x+y | (x,y) <- zip fib (tail fib) ]
PM MAIL   Вверх
admus
Дата 4.4.2009, 15:02 (ссылка) | (нет голосов) Загрузка ... Загрузка ... Быстрая цитата Цитата


Новичок



Профиль
Группа: Участник
Сообщений: 30
Регистрация: 4.4.2009
Где: Пермь

Репутация: нет
Всего: нет



Интернет-университет, курс лекций по PROLOG http://www.intuit.ru/department/pl/plprolog/  smile  
PM MAIL WWW ICQ   Вверх
hkdkest
  Дата 4.6.2009, 13:40 (ссылка) | (нет голосов) Загрузка ... Загрузка ... Быстрая цитата Цитата


Опытный
**


Профиль
Группа: Участник
Сообщений: 300
Регистрация: 30.11.2008

Репутация: нет
Всего: 1



исходники и решенные задачки по прологу
• Решение логических задач в Турбо Прологе. Задача о волке, козе и капусте
Данная задача встречается в сборниках по занимательной ма- математике, начиная с XVIII века, и звучит следующим образом. Крестьянину надо через речку перевезти волка, козу и капусту. В лодке может поместиться только один человек, а с ним или волк, или коза, или капуста. Если оставить волка с козой без человека, то волк съест козу; если оставить козу с капустой, то коза съест капусту. В присутствии же человека коза не может съесть капусту, волк - козу. Человек все-таки перевез свой груз через речку. Как он это сделал?
• ПОСТРОЕНИЕ ЭКСПЕРТНЫХ СИСТЕМ НА ТУРБО ПРОЛОГЕ. Экспертная система медицинской диагностики

Это сообщение отредактировал(а) hkdkest - 4.6.2009, 13:41
PM MAIL WWW   Вверх
hkdkest
  Дата 5.6.2009, 15:58 (ссылка) | (нет голосов) Загрузка ... Загрузка ... Быстрая цитата Цитата


Опытный
**


Профиль
Группа: Участник
Сообщений: 300
Регистрация: 30.11.2008

Репутация: нет
Всего: 1



Введение в Турбо Пролог
Язык Пролог предназначен для использования в разработ- ках по искусственному интеллекту и в современных эксперт- ных системах. Повышение требований к "дружественности" интерфейса и интеллектуальности программных средств обслужи- вает рост популярности этого языка.


Это сообщение отредактировал(а) hkdkest - 5.6.2009, 16:30
PM MAIL WWW   Вверх
hkdkest
  Дата 16.6.2009, 12:08 (ссылка) | (нет голосов) Загрузка ... Загрузка ... Быстрая цитата Цитата


Опытный
**


Профиль
Группа: Участник
Сообщений: 300
Регистрация: 30.11.2008

Репутация: нет
Всего: 1



PM MAIL WWW   Вверх
saiklo
Дата 30.6.2009, 12:34 (ссылка) | (нет голосов) Загрузка ... Загрузка ... Быстрая цитата Цитата


Новичок



Профиль
Группа: Участник
Сообщений: 1
Регистрация: 30.6.2009

Репутация: нет
Всего: нет



powerOn, свяжись со мной пожалуйста срочно icq 426182710

PM MAIL   Вверх
hkdkest
  Дата 7.1.2010, 12:44 (ссылка) | (нет голосов) Загрузка ... Загрузка ... Быстрая цитата Цитата


Опытный
**


Профиль
Группа: Участник
Сообщений: 300
Регистрация: 30.11.2008

Репутация: нет
Всего: 1



PM MAIL WWW   Вверх
Винитарх
Дата 16.2.2010, 13:05 (ссылка) | (нет голосов) Загрузка ... Загрузка ... Быстрая цитата Цитата


Новичок



Профиль
Группа: Участник
Сообщений: 9
Регистрация: 21.1.2007

Репутация: нет
Всего: нет



Вот форум по всем Прологам:
http://www.progz.ru/forum/index.php?showforum=10
PM MAIL   Вверх
rrrFer
Дата 5.6.2012, 07:13 (ссылка) | (нет голосов) Загрузка ... Загрузка ... Быстрая цитата Цитата


Бывалый
*


Профиль
Группа: Участник
Сообщений: 208
Регистрация: 11.5.2008
Где: Красноярск

Репутация: нет
Всего: 1



PM MAIL WWW ICQ   Вверх
tumanovalex
Дата 28.8.2012, 19:30 (ссылка) | (нет голосов) Загрузка ... Загрузка ... Быстрая цитата Цитата


Шустрый
*


Профиль
Группа: Участник
Сообщений: 81
Регистрация: 3.1.2005

Репутация: нет
Всего: нет



Один из разработчиков системы Visual Prolog, Виктор Юхтенко, выпустил первую часть учебного курса по Visual Prolog. Первая часть размещена на http://store.payloadz.com/go?id=1050474
PM MAIL   Вверх
prologfan
Дата 20.2.2014, 10:41 (ссылка) | (нет голосов) Загрузка ... Загрузка ... Быстрая цитата Цитата


Новичок



Профиль
Группа: Участник
Сообщений: 1
Регистрация: 20.2.2014

Репутация: нет
Всего: нет



Новый курс по логическому программированию и Visual Prolog 7.x на ИНТУИТ: http://www.intuit.ru/studies/courses/12333/1180/info
PM MAIL   Вверх
Страницы: (2) [Все] 1 2 
Ответ в темуСоздание новой темы Создание опроса
Правила форума Prolog
Void
  • Пожалуйста, создавайте темы с содержательными названиями.
  • Уважаемые учащиеся, здесь всегда рады помочь Вам, но не делать за Вас вашу работу. У вас гораздо больше шансов получить помощь, если Вы приложите усилия и поделитесь с нами проблемами и результатами. В противном случае добро пожаловать в раздел Центр Помощи.
  • Получив ответ на интересующий Вас вопрос, не забудьте пометить его как решённый.

Если Вам понравилась атмосфера форума, заходите к нам чаще! С уважением, Void.

 
0 Пользователей читают эту тему (0 Гостей и 0 Скрытых Пользователей)
0 Пользователей:
« Предыдущая тема | Prolog | Следующая тема »


 




[ Время генерации скрипта: 0.2134 ]   [ Использовано запросов: 22 ]   [ GZIP включён ]


Реклама на сайте     Информационное спонсорство

 
По вопросам размещения рекламы пишите на vladimir(sobaka)vingrad.ru
Отказ от ответственности     Powered by Invision Power Board(R) 1.3 © 2003  IPS, Inc.