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

Fixed Argument Ordering in crisp-modus-ponens-rule #38

Closed rTreutlein closed 5 years ago

ngeiswei commented 5 years ago

THanks.