private bool IsComparable(Fact f)
{
return(this._arity == f._arity && this._functor == f._functor);
}
internal bool ContainsFact(Fact f)
{
return(_state
.OfType <Fact>()
.Any(fact => fact.Equals(f)));
}