小编Ama*_*man的帖子

如何使用Prologs编写定理证明？

我试图将其写为正常，像这样：

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

你能帮助我吗？