Смотри тут
http://pauillac.inria.fr/~diaz/gnu-prolog/ и тут
http://www.swi-prolog.org/
Но вот ИИ... не сделать ИИ на современной технологической базе
А вот хорошую систему понимающую естественный язык - вполне
и если к ней приладить хорошую базу знаний, поиск по ней, и какую-никакую логику... Короче поле для деятельности огромнейшее и интереснейшее