Доказательство теоремы с использованием Пролога

Как написать доказательство теоремы с помощью прологов?

Пробовал писать нормально Вот так:

parallel(X,Y):-perpendicular(X,Z),perpendicular(Y,Z), X\==Y,!.
perpendicular(X,Y):-perpendicular(X,Z),parallel(Z,Y),!.

Можете мне помочь?