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

Explicitly require eager evaluation. #126

Closed linas closed 2 years ago

linas commented 2 years ago

Apparently, everything in the URE was designed to require eager evaluation. I find this .. surprising. This converts the URE to the backwards-compat interface for eager evaluation. The default is now lazy evaluation, everytwhere.

linas commented 2 years ago

Merged; there's a test fail in opencog unrelated to URE.