title: Filtering Prolog Rule Results
body: <p>I have the Prolog rule:</p>
  <pre><code>superAbility(M1,A,M2) :-
      monsterAbility(M1,M1A),
      ability(M1A,M1T),
      monster(M2,M2T),
      typeEffectiveness(M1T,M2T,A).
  </code></pre>
  <p>Where <code>M1A</code> is Monster1 Ability, <code>M1T</code> is Monster1 Type and so on</p>
  <p>I call the rule using: <code>superAbility(squirtle,A,charmander)</code></p>
  <p>and get the results</p>
  <pre><code>A = ordinary
  A = super
  A = super
  A = ordinary
  </code></pre>
  <p>How do I alter my rule so that I only return when A = super?</p>