Prolog如何从多个选项中获取最大选项

我试图确定Prolog中神奇宝贝战斗中造成的最大伤害。我有以下事实

pokemon(venusaur).
pokemon(blastoise).
pokemon(charizard).

is_type(venusaur, grass).
is_type(venusaur, poison).
is_type(blastoise, water).
is_type(charizard, fire).
is_type(charizard, flying).

speed(charizard, 100).
speed(blastoise, 78).
speed(venusaur, 80).

attack_of_type(flamethrower, fire).
attack_of_type(scald, water).
attack_of_type(solarbeam, grass).
attack_of_type(earthquake, ground).
attack_of_type(icebeam, ice).
attack_of_type(sludgebomb, poison).
attack_of_type(airslash, flying).
attack_of_type(darkpulse, dark).
attack_of_type(aurasphere, fighting).
attack_of_type(hpfire, fire).

has_attack(charizard, flamethrower).
has_attack(charizard, solarbeam).
has_attack(charizard, airslash).
has_attack(charizard, earthquake).
has_attack(blastoise, scald).
has_attack(blastoise, icebeam).
has_attack(blastoise, darkpulse).
has_attack(blastoise, aurasphere).
has_attack(venusaur, solarbeam).
has_attack(venusaur, sludgebomb).
has_attack(venusaur, earthquake).
has_attack(venusaur, hpfire).

has_power(flamethrower, 90).
has_power(solarbeam, 120).
has_power(airslash, 75).
has_power(earthquake, 100).
has_power(scald, 80).
has_power(icebeam, 90).
has_power(darkpulse, 80).
has_power(aurasphere, 80).
has_power(sludgebomb, 90).
has_power(hpfire, 60).

我正试图制定一个规则，以获得最大金额的损害所做的，但我不知道如何去做这件事。到目前为止，我所掌握的是一条规则，可以确定神奇宝贝能否在当前回合中被杀死

hit_supereffectively_by(Pkmn, AtkType) :- 
    is_type(Pkmn, Type), weak(Type, AtkType).

hit_notveryeffectively_by(Pkmn, AtkType) :- 
    is_type(Pkmn, Type), resist(Type, AtkType).

is_immune_to(Pkmn, AtkType) :- 
    is_type(Pkmn, Type), immune(Type, AtkType).

can_kill(Me, You, MyHP, YourHP, MyAttack) :- 
    has_attack(Me, MyAttack), has_power(MyAttack, MyAtkPower), (MyAtkPower / 2) >= YourHP.

can_kill(Me, You, MyHP, YourHP, MyAttack) :- 
    has_attack(Me, MyAttack), attack_of_type(MyAttack, MyAtkType), hit_supereffectively_by(You, MyAtkType), \+ is_immune_to(You, MyAtkType), \+ hit_notveryeffectively_by(You, MyAtkType), 
    has_power(MyAttack, MyAtkPower), MyAtkPower >= YourHP.

best_move(Me, You, MyHP, YourHP, MyAttack) :- 
    is_faster(Me, You), can_kill(Me, You, MyHP, YourHP, MyAttack).

我试图将

最佳移动

扩展到这样一个点，如果第一行不是真的（更快并且可以杀死），那么它将返回伤害最大的移动作为我的攻击

有人能给我指出正确的方向吗？我不熟悉声明式编程。

---

Tyvm.

从你的描述来看，似乎最多应该有一个最佳动作。因此，您可能会使用if-then-else控件构造：

best_move(Me, You, MyHP, YourHP, MyAttack) :- 
    (   is_faster(Me, You),
        can_kill(Me, You, MyHP, YourHP, MyAttack) ->
        true
    ;   % otherwise select move that does most damage
        ...
    ).