LINUX.ORG.RU

Логическое программирование


0

0

Помогите, плз, найти учебную документацию, желательно на русском, на тему логического программирования - на языках Prolog (особенно темы бэктрэкинга и унификации), а еще лучше Mercury и ему подобных. Неплохой форум есть на progz.ru, но приведены ссылки на довольно старые книги. Есть курс на Intuit.ru, но там по Turbo Prolog 2.0, а это, если верить знатокам на progz.ru, некошерно. Заранее спасибо!

anonymous

> но приведены ссылки на довольно старые книги

А что, со времён Рассела логика шагнула далеко вперёд?!? А мужики то и не знают!!!

На русском вообще я ничего не встречал, а на инглише есть замечательная книга:

http://www.im.pwr.wroc.pl/~cichon/AlgLogic/bok.pdf

anonymous
()
Вы не можете добавлять комментарии в эту тему. Тема перемещена в архив.