La substitution est un problème classique en informatique. Nous l'utilisons dans notre simulateur de dialogue et dans le PTMS pour traiter les descriptions des jeux de dialogue et les formules logiques. Malgré sa simplicité, il permet de réduire le nombre de lignes de Prolog en écrivant les règles de substitution de manière simple et compacte. Les règles sont de plus associées à des conditions qui dictent l'applicabilité des règles. Le prédicat de substitution a été écrit en SWI-Prolog et devrait être facilement portable sans modification.