Dans un jeu de réussite, les cartes sont disposées en tas. Ceux-ci sont disposés linéairement, et numérotés de la droite vers la gauche.
Au départ, il n'y a pas de tas. On tire les cartes une à une, d'un jeu de 32 cartes. Chaque nouvelle carte constitue à elle seule un nouveau tas, posé à gauche des précédents.
L'apparition d'un nouveau tas peut entraîner des simplifications dans les tas existants, suivant la règle qui va être donnée ci-après. Il est nécessaire d'appliquer toutes les simplifications possibles avant de tirer la carte suivante.
Le jeu est gagné lorsqu'il ne reste, à la fin, que deux tas.
La règle de réduction du nombre de tas est la suivante.
Si, où que ce soit dans la liste des tas, la carte supérieure (visible) du tas d'indice p+2 est :
que celle qui est au sommet du tas d'indice p, alors le tas d'indice p+1 est posé par-dessus le tas d'indice p.
Il y a donc, dans ce cas, un tas de moins, et la carte qui figurait au sommet de l'ancien tas d'indice p n'est plus visible.
Cette réduction peut en entraîner d'autres, en cascade.
Écrire une règle Prolog qui permet d'obtenir un jeu mélangé de manière aléatoire, puis de l'utiliser pour tenter la réussite décrite ci-dessus.
Le résultat doit être le nombre de tas qui subsistent à la fin du jeu.
A venir.