C# (CSharp) LogSharp Fact示例

示例#1

文件： Fact.cs 项目： jdaless/LogSharp

 private bool IsComparable(Fact f)
 {
     return(this._arity == f._arity && this._functor == f._functor);
 }

示例#2

 internal bool ContainsFact(Fact f)
 {
     return(_state
            .OfType <Fact>()
            .Any(fact => fact.Equals(f)));
 }