在Prolog中,如何定义运算符"关系"以作为关系/ 3谓词?例如:
relation a b c.
并生产它:
relation(a, b, c).
谢谢!
operators prolog
operators ×1
prolog ×1