所以我刚刚开始在PROLOG(SWI发行版)中编程.我有很好的逻辑基础,我熟悉事实,规则,量化和所有词汇.
据我所知,您可以定义一个事实,例如:
married(a,b).
而且我知道如果您进行如下查询:
?: married(X,b).
答案是"a".我的问题是,如果我想制定一个使用先前声明的事实的规则,它会认为"a与b结婚",但它是否会认为"b与a结婚"或者我是否必须声明另一个事实喜欢:
married(b,a).
它的工作？任何可以表示为事实的双边关系都是如此.
prolog ×1