Un jeu à cinq coups : pierre-feuille-ciseaux-lézard-Spock

BAT = {
    "pierre":  ["ciseaux", "lezard"],
    "feuille": ["pierre", "spock"],
    "ciseaux": ["feuille", "lezard"],
    "lezard":  ["feuille", "spock"],
    "spock":   ["ciseaux", "pierre"],
}

def gagne(a, b):
    return b in BAT[a]

print(gagne("spock", "ciseaux"))   # True
print(gagne("lezard", "pierre"))   # False

Le gain n'est pas la brièveté, c'est la vérifiabilité. Dix conditions enchaînées par or sont impossibles à relire ; une table se contrôle. On peut même faire vérifier au programme que les règles sont cohérentes :

assert all(len(v) == 2 for v in BAT.values())          # chacun bat 2 signes
assert sum(len(v) for v in BAT.values()) == 10         # 10 duels décisifs
assert not any(a in BAT[b] and b in BAT[a] for a in BAT for b in BAT[a])

La dernière ligne vérifie qu'aucune paire ne se bat mutuellement — une faute de saisie qu'aucune relecture ne repère à coup sûr. Séparer les règles du code qui les applique, c'est ce qui rend les règles contrôlables.