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