作为 Prolog 的初学者,我发现 Prolog 中的交换表达式很不直观。
例如,如果我想表达 X 和 Y 在一个家庭中,例如:
family(X,Y) :-
married(X,Y);
relative(X,Y);
father_son(X,Y).
我还应该在定义中添加以下内容,以使其“可交换”:
married(Y,X);
relative(Y,X);
father_son(Y,X).
但是我们使用Prolog,因为我们想编写优雅的代码......所以,我希望在原始代码中只添加一行(而不是上面的三行):
family(Y,X).
这是要点。它会导致终止!为什么序言没有那么“合乎逻辑”?是否有替代这种不会导致终止的简洁的单行表达式?
周末愉快!
瓦
最佳答案
family(X,Y) :- family(Y,X).
的问题规则的一部分是它在每个级别都无条件地与自己统一,并不断向下递归;这个递归没有退出条件。
您应该在上面的级别进行参数交换:
family(X,Y) :-
is_family(X,Y);
is_family(Y,X).
is_family(X,Y) :-
married(X,Y);
relative(X,Y);
father_son(X,Y).
或者,您可以在有意义的地方制定低于对称的基础规则:
is_married(X,Y) :-
married(X,Y);
married(Y,X).
is_relative(X,Y) :-
relative(X,Y);
relative(Y,X).
您现在可以重写您的
family
规则如下:family(X,Y) :-
is_married(X,Y);
is_relative(X,Y);
father_son(X,Y);
father_son(Y,X).
关于prolog - 在 Prolog 中表达 "Commutativity"的替代方法?,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/10257947/