我遇到过这样的切割,如果图Graph的某个节点B存在边A-B或B-A,则它应该返回true。 node(A,Graph) :- adjacent(A,_,Graph),!.据我所知,Prolog语句的cut at the end的唯一用法是当有另一条语句具有相同的名称另一条节点(...)如果第一个成功,我们不希望被调用。但是,没有其他名为node(...)的语句因此,我看不出削减会如何影响解决方案。
我的问题与有关。我希望下面的prolog代码嵌入到python程序中: var(A),number(B),number(C) -> A is B+C;from pyswip import Prologprolog.assertz("myEquation(A, B, C):", line 127, in __call