Leung Man Hin
Leung Man Hin
Yes I think this is more about pattern matching, with-list and no-list are syntactically two different graphs after all, so the pattern matcher will not return the with-list one if...
Hi @rodsol, for sentence matching, you may want to take a look at this function: https://github.com/opencog/opencog/blob/master/opencog/query/sentence-matching.scm
I think OpenPsi marks which part is "context" and which part is "action" when a rule is created, and there is `psi-get-context` and `psi-get-action` to get them.
Regarding variables, I recall there is some special handling in the code. Though context and action are all in one AndLink, they are actually evaluated separately, as the action will...
@ferrouswheel Oh right I see
Yeah, let me try to explain the situation... Let's say we have a few psi-rules in AtomSpace and want to select and trigger one of them in order to satisfy...
@stellarspot, just want to make sure, are you getting this segfault only when exiting Guile when the loop was still running? Or does it crash even without exiting Guile?
Should be fixed by https://github.com/opencog/opencog/pull/3485
@stellarspot It works, but I believe you are putting all of the above in a file and just load it in the Guile shell, that means you are executing `ghost-halt`...
Should be fixed by https://github.com/opencog/opencog/pull/3486