gpt4 book ai didi

prolog - 如何在 Prolog 中修复这个循环谓词?

转载 作者:行者123 更新时间:2023-12-04 08:00:56 25 4
gpt4 key购买 nike

为什么这不能在 Prolog 中定义“已婚”?

married(X,Y):-married(Y,X).

不允许使用这些循环谓词吗?我将如何修复它?

谢谢

最佳答案

如果我弄错了语法,请原谅我,我已经有一段时间没有使用 Prolog 了。

一个典型的解决方案是在子句中引入另一个级别,如下所示:

married(X, Y) :- wife(X, Y).
married(X, Y) :- wife(Y, X).

然后使用wife子句指定关系:
wife(jane, bob).
wife(alice, john).

?- married(jane, X).
X = bob

更多信息可以在这里找到: CSc 8710, Deductive Databases and Logic Programming, chapter 6 - Logic and databases ,在 6.5 下 - 特殊关系。

关于prolog - 如何在 Prolog 中修复这个循环谓词?,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/1424151/

25 4 0
Copyright 2021 - 2024 cfsdn All Rights Reserved 蜀ICP备2022000587号
广告合作:1813099741@qq.com 6ren.com