roboforum.ru

Вот некоторые рускоязычные материалы которые мне удалось добыть в интернете:

Ссылочка на зарубежный сайт ресурсов по прологу
http://www.codebox.8m.com/prolog.htm

Книга про программированию в прологе, англоязычная
http://www.oopweb.com/Prolog/Documents/ ... rames.html

А компилер где качнуть можно? И бывает ли он для AVR?

На данный момент я знаю пожалуй не больше вас, но как раз это мне тоже интересно.

Я это вижу так : amzi prolog имеет конвертер (или как правильно это называется, может компилятор) в исходный код С . А вот С как мы знаем компилируется в программу для AVR.
Однако сведений по величине получаемого кода я пока не имею, очень надеюсь что код влезет в контроллеры серии MEGA, для Tiny точно работать не будет, для нею нет компиляторов с С.