/// <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));
}
public void YPretract()
{
YP.retractall(Functor.make(Atom.a(name), values));
}
