Программа на языке Prolog

Только в рамках правила поглощения.
Реализовать в виде бинарного дерева (tr(i,tree,tree) что то типо того).
Должно работать: Введите выражение: (A|B)&A
Упрощение: A
---------------------------------------------
Примеры
B|(A&B) = B
((A&(A|B))|(B&A))|B = A|B
и тд.