Style de programmation pour une machine de programmation logique munie d'un récupérateur de mémoire.