/// <summary>
 /// Détruit tous les prédicats de nom et d'arité identique de la base de données de <see cref="YieldProlog"/>.
 /// A utiliser uniquement dans un nouveau <see cref="AppDomain"/>.
 /// </summary>
 public void YPretractAll()
 {
     object[] values = new object[arity];
     for (int i = 0; i < arity; i++)
     {
         values[i] = new Variable();
     }
     YP.retract(Functor.make(Atom.a(name), values));
 }