0

我在 Prolog 文件中声明了一些数据，如下所示：

gen1(grass).
gen1(poison).
gen1(psychic).
gen1(bug).
gen1(rock).

...

gen1((poison, flying)).
gen1((ghost, poison)).
gen1((water, ice)).

...

weak1(grass, poison).
weak1(grass, bug).
weak1(poison, rock).

strong1(grass, rock).
strong1(poison, grass).
strong1(bug, grass).
strong1(poison, bug).
strong1(psychic, poison).
strong1(bug, poison).
strong1(bug, psychic).
strong1(rock, bug).

请注意，数据没有定义strong1或weak1为化合物gen1(...)。这些是由对最小工作示例没有贡献的规则确定的。我提到它们是因为知道它们的存在可能很有用。

我试图找到形成循环的这些术语之间的关系。这是一个示例函数：

triangle1(A, B, C) :-
    setof(A-B-C, (
             gen1(A), gen1(B), gen1(C), A \= B, A \= C, B \= C,
              strong1(A, B), strong1(B, C), strong1(C, A)
             ), Tris),
    member(A-B-C, Tris).

此设置确实删除了A、B和C以相同顺序排列的重复项。但是，它不会删除不同顺序的重复项。例如：

?- triangle1(A, B, C),
   member(A, [bug, grass, rock]),
   member(B, [bug, rock, grass]),
   member(C, [bug, rock, grass]).
A = bug,
B = grass,
C = rock ;
A = grass,
B = rock,
C = bug ;
A = rock,
B = bug,
C = grass ;
false.

该查询应该只返回一组[A, B, C].

我曾考虑过使用sort/2，但在某些情况下，简单地排序会改变答案的含义：

?- triangle1(A, B, C),
   sort([A, B, C], [D, E, F]),
   \+member([D, E, F], [[A, B, C], [B, C, A], [C, A, B]]).
A = D, D = bug,
B = F, F = psychic,
C = E, E = poison .

我也试过<and >，但显然那些对原子不起作用。

有什么想法吗？

（我查看了类似的问题，但不知道我在这里所做的与其他人所做的相比如何）

编辑：根据关于最小工作示例的评论。

4

1 回答 1

2

您可以尝试在setof/3通话中进行排序。所以你应该避免以错误的顺序生成三元组。

我的意思是：打电话setof/3，而不是

A \= B, A \= C, B \= C,

尝试

A @< B, A @< C, B \= C,

通过这种方式，您强加A低于B和低于C，您可以避免重复并保持正确的解决方案。

完整的triangle1/3

triangle1(A, B, C) :-
    setof(A-B-C, (
             gen1(A), gen1(B), gen1(C), A @< B, A @< C, B \= C,
              strong1(A, B), strong1(B, C), strong1(C, A)
             ), Tris),
    member(A-B-C, Tris).
于 2017-01-01T10:49:18.063 回答