Damir_85Здравствуйте.
Хотел спросить, какой пролог или версию , удобную на сегодняшний день, скачать.

Есть GNU Prolog - http://www.gprolog.org/ . Но эта версия вроде как всё - не развивается, есть (если ничего не путаю) только 32-разрядная версия.

Очень активный и всех живее SWI-Prolog - http://www.swi-prolog.org/ . Имеет очень крутые расширения для решения задач оптимизации (целочисленного программирования, линейного программирования). На нём даже можно писать веб-сайты :)

Это вроде из основных игроков всё. Остальное подскажет народ (мало ли, забыл кого).

Damir_85 Что касается программы посоветуйте где какую скачать и бесплатны ли они?
Верхние две - бесплатны. Ещё и с туториалами. Основная проблема Пролога - большинство примеров (истрически) приводит задачи на поиск данных из базы данных. Самая часто приводимая задача такая - найти всех тех, у кого "папа Андрей" и т.п. Вот народ и ходит в недоумении: "А нафига? SQL может это и при этом запись гораздо красивее... т.е. естесственнее... Ну нафиг этот Пролог". И собственно силу логического вывода не увидит (тем более, что многие туториалы как раз на выборке из множества по критерии и заканчивают).

Damir_85...стало интересно как он будет искать решение логических задач.

Как-как... путём обхода графа пространства решений в глубину... при помощи процедуры унификации термов (.