public void ClearFacts() { BaseOfFacts.Clear(); }
public void RemoveFact(int index) { BaseOfFacts.RemoveExpression(index); }
public void AddFact(Fact fact) { BaseOfFacts.AddExpression(fact); }