Пролог

GNU Prolog вроде есть, про другие версии для никсов я не слышал... А вот насчет доки ничего сказать не могу - сам ищу :)))

SWI-Prolog. Много документации. На русском, по-моему, нет (если еще никто не перевел), но подойдет любой учебник по Прологу для обретения навыков программирования. Многоплатворменный. Архитектурно продуманный - отдельно .so-шник и .dll-ка (для Win32) с поисковой машиной. Имеет продуманный API для встраивания движка в другие программы и для создания своих собственных предикатов. Автор SWI-prolog (голландец) тусовался в свое время на comp.lang.prolog (по-моему, так называлась эха). Вопросы прямо туда можно задавать. Очень популярный Пролог.

URL : http://www.swi-prolog.org