Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Fix confusion during pattern matching #2631

Closed
linas opened this issue May 23, 2020 · 1 comment · Fixed by #2633
Closed

Fix confusion during pattern matching #2631

linas opened this issue May 23, 2020 · 1 comment · Fixed by #2633

Comments

@linas
Copy link
Member

linas commented May 23, 2020 •
edited

The URE BackwardChainerUTest causes the pattern engine to fall into an undocumented/ unsupported code path where crazy things happen. Described in detail in opencog/ure#87 The approrpriate solutions are discussed there too.
@linas linas mentioned this issue May 23, 2020
Closed
linas added a commit to linas/atomspace that referenced this issue May 24, 2020
@linas
First attempt at fixing issue opencog#2631
16b71f0
linas added a commit to linas/atomspace that referenced this issue May 24, 2020
@linas
Tad dah! This actually fixes opencog#2631
18e8704
@linas linas mentioned this issue May 24, 2020
Merged
@linas
Copy link
Member Author

linas commented May 24, 2020

Closing. Fixed in #2633. Sorry for the noise. I thought this was going to be difficult, but it was easy.

@linas linas closed this as completed May 24, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

Mandatory unquoted clauses linas/atomspace
1 participant
@linas