In logic programs, do not define the sequence in which AND and "A if B" propositions are evaluated. This may have an impact ...