Лучшие книги по Prolog, бесплатные электронные книги и учебники по Prolog. ForCoder.ru — библиотека книг для программистов.