Доброго всем времени.

Сложилось так, что в рамках дипломной работы помимо прочего придется разрабатывать транслятор языка Prolog. На данный момент занимаюсь в принципе вопросами трансляции и компиляторов.
Стоит такой вопрос — что можно почитать по данной теме? (имеется ввиду именно принципы, методы, иная информация о построении именно транслятора логического программирования, а не компиляторов других языков)

Заранее спасибо за любые ссылки, советы, указания направлений.