过滤Prolog规则结果

Question

我有一个Prolog规则：

superAbility(M1,A,M2) :-
    monsterAbility(M1,M1A),
    ability(M1A,M1T),
    monster(M2,M2T),
    typeEffectiveness(M1T,M2T,A).

其中M1A是Monster1能力，M1T是Monster1类型，依此类推

我使用：superAbility(squirtle,A,charmander)调用该规则

并得到结果

A = ordinary
A = super
A = super
A = ordinary

我如何修改我的规则，使我只在A= super时返回？

Answer 1

你有3个选择。第一个是修改你的函数，以获得Isabelle Newbie提到的结果：

superAbility(M1,A,M2) :-
    monsterAbility(M1,M1A),
    ability(M1A,M1T),
    monster(M2,M2T),
    A = super,
    typeEffectiveness(M1T,M2T,A).

相反，您也可以使用所需的结果调用谓词：

?- superAbility(M1,super,M2).

或者，您可以使用额外的谓词来传输所需的结果：

superDuperAbility(M1,A,M2) :- 
    A = super,
    superAbility(M1,A,M2).

或者更短，没有不必要的中间变量

superDuperAbility(M1,M2) :- superAbility(M1,super,M2).