是否可能构建一个高阶函数isAssociative，该函数接受另一个具有两个参数的函数，并确定该函数是否是结合性的？ 类似的问题也可以用于其他属性，例如交换律。 如果这是不可能的，是否有任何一种语言可以自动化实现？如果有Agda，Coq或Prolog解决方案，我很感兴趣。 我可以设想一种...

作为Prolog的初学者，我发现Prolog中的可交换表达式相当不直观。例如，如果我想表达X和Y在同一个家庭中，如下所示： family(X,Y) :- married(X,Y); relative(X,Y); father_son(X,Y). 我应该...