C# (CSharp) LogSharp Fact Examples

Example #1

File: Fact.cs Project: jdaless/LogSharp

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

Example #2

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