Le système décrit ici permet de faire des substitutions en Prolog de manière simple et compacte. Le prédicat subst/3 est très général. Cela explique sa lenteur dans le cas de substitutions simples qui ne nécessitent pas la réapplication des règles lorsqu'une règle vient d'être appliquée.