opencog/atomspace

IdenticalLink fails to find all permutations.

linas opened this issue · 0 comments

linas commented

This is demonstrated in https://github.com/opencog/atomspace/tree/master/tests/query/unify-test.scm lines 197 ff

The actual and the expected results don't match. My guess of where the bug is, is that its in the static analysis of IdenticalLink. Basically, IdenticalLink tries to do a static analysis, which, if its possible, avoid the need for a dynamic run of the query engine. But this static analysis is relatively minimal, kind-of dumb. And my guess is that it failed to notice that it's dealing with an unordered link. I think that's where the bug is. But it could be somewhere else ...