мы в универе на ПРОЛОГе программировали) Примитив, правда.. но тем не менее, в нем содержатся алгоритмы именно ИИ. И копать надо в эту сторону, имхо.