序言中的重复结果
我对序言感到很糟糕。我在这个简单的代码中不断得到重复的结果“
mates(bob, john).
mates(bob, bill).
mates(andrea, sara).
mates(andrea, bill).
friends(X, Y) :- mates(X, Z), mates(Y, Z).
调用朋友（bob，X）。我得到了 bob 两次。如果我可以使用 IF 语句就好了！
我怎样才能消除重复的结果？IE If(result1 == result2 ）不要打印；
我正在寻找类似的朋友，即结果应该是鲍勃和安德里亚（因为比尔）。
I'm terrible with prolog. I keep getting a duplicate result in this simple code"
mates(bob, john).
mates(bob, bill).
mates(andrea, sara).
mates(andrea, bill).
friends(X, Y) :- mates(X, Z), mates(Y, Z).
Calling friends(bob, X). I get bob twice. If only I could use and IF statement argh!!!
How can I elimiate duplicate results? IE If(result1 == result2) dont print;
Im looking for similar friends, ie the result should be bob and andrea (because of bill).
如果你对这篇内容有疑问，欢迎到本站社区发帖提问 参与讨论，获取更多帮助，或者扫码二维码加入 Web 技术交流群。
绑定邮箱获取回复消息
由于您还没有绑定你的真实邮箱，如果其他用户或者作者回复了您的评论，将不能在第一时间通知您！
发布评论
评论（2）
难道不应该更多地遵循这些思路吗？
如果您想要类似的朋友（根据您下面的评论），请尝试：
\=运算符的意思是“无法与”统一，因此应该排除甲方与他或她自己是朋友的情况。 “无法统一”的确切运算符可能因实现而异。另请记住，“正确”的解决方案比伴侣关系的传递性看起来要复杂一些：如果 Andrea 是 Bills 的伴侣，那么 Bill 可能是 Andrea 的伴侣。您的解决方案可能应该考虑到这一点。
Shouldn't it be more along these lines?
If you want similar friends (per your comment below), try:
The
\=operator means 'not unifiable with', so that should exclude cases where party A is friends with his- or herself. The exact operator for 'not unifiable with' might vary depending on implementation.Also bear in mind that the "correct" solution is a bit more convoluted than it might seem the mates relationship is transitive: if Andrea is a mate of Bills, the presumably Bill is a mate of Andrea's. You solution should likely take that into account.
mates(bob, john). mates(bob, bill). mates(andrea, sara). mates(andrea, bill). friends(X, Y) :- setof([X,Y],(friends2(X,Y),\+(X=Y)),L), append(L0,[[X,Y]|_],L), \+(append(_,[[Y,X]|_],L0)). friends2(X, Y) :- mates(X, Z), mates(Y, Z). friends2(X, Y) :- mates(X, Z), mates(Z, Y). friends2(X, Y) :- mates(Z, X), mates(Z, Y). friends2(X, Y) :- mates(Z, X), mates(Y, Z).mates(bob, john). mates(bob, bill). mates(andrea, sara). mates(andrea, bill). friends(X, Y) :- setof([X,Y],(friends2(X,Y),\+(X=Y)),L), append(L0,[[X,Y]|_],L), \+(append(_,[[Y,X]|_],L0)). friends2(X, Y) :- mates(X, Z), mates(Y, Z). friends2(X, Y) :- mates(X, Z), mates(Z, Y). friends2(X, Y) :- mates(Z, X), mates(Z, Y). friends2(X, Y) :- mates(Z, X), mates(Y, Z).