Компилятор для подмножества языка X. Пролог.

На Прологе сделать лексический анализатор на основе конечных автоматов.Так же сделать синтаксический анализатор с использованием генератора синтаксических анализаторов YACC.
Требование к подмножеству языка Пролог.
1)Термы: атомы, числа, списки, структуры.
2)Предложения: факты и правила.
3)Операторы: арифметические, сравнения, ‘!’, is.
Вкратце описать что это такое и как задействуется в программе.
Подробно описать код программы.