Closed bowen-xu closed 3 months ago
The current output:
It outputs <[P] --> [P]>
which is an absolute truth in definition. In OpenNARS 3.0.4, there seems a filter to drop out this kind of things.
We want to have a new inference engine (Kanren Engine), so the revision on the old engine is not needed.
See https://github.com/bowen-xu/PyNARS/issues/47