/// <summary>
/// Добавляет заданное логическое утвреждение к существующей базе знаний.
/// </summary>
/// <param name="statement">The statement.</param>
public void AddStatement(ILogicalStatement statement)
{
stService.AddStatement(statement);
}
/// <summary>
/// Добавляет заданное логическое утвреждение к существующей базе знаний.
/// </summary>
/// <param name="statement">The statement.</param>
public virtual void AddStatement(ILogicalStatement statement)
{
stateChanged = true;
stService.AddStatement(statement);
}
