Здравствуйте, kislotnik, Вы писали:

K>во время чтения оодной книги по ИИ заинтересовала идея использования лабиринтного поиска для кодогенерации.
K>официально GPS считается тупиковым путем, но мне интересно использовал ли его кто-нибудь таким образом, какие получились результаты и с какими проблемами столкнулись?

Насыщение равенствами, вкратце: из кусочка программы строим эквивалентные ему путём обхода вширь. Как раз поиск по лабиринту.

Исходники для ознакомления, на Хаскеле.