search

opencog / ure

Unified Rule Engine. Graph rewriting system for the AtomSpace. Used as reasoning engine for OpenCog.
Other
54 stars 30 forks source link

Revert changes to the negation_conflict_test #124

Closed linas closed 2 years ago

linas commented 2 years ago

The tests now pass. The complexity is no longer needed.