Am Mittwoch, 6. Mai 2020 20:55:40 UTC+1 schrieb linas: > > I just realized that the example below has a misleading, confusing bug in > it. (besides the missing SetLink) The fix is ... > > On Wed, May 6, 2020 at 7:31 AM Alexander Gabriel <[email protected] > <javascript:>> wrote: > >> >> Hi Linas! >> >> Am Mittwoch, 26. Februar 2020 22:24:45 UTC schrieb linas: >>> >>> If you really need it to work in *all* cases, then something like this: >>> >>> (DefineLink >>> (DefinedPredicate "is in state") >>> (Lambda >>> (VariableList (Variable "a") (Variable "b")) >>> (Equal (Variable "a") (Get (State (Variable "b") (Variable >>> "x")))))) >>> >> > Arghhh, The get part of it should have been > > (Get (Variable "x") (State (Variable "b") (Variable "x"))) > > so that the Lambda plugs in for the "b", and the Get does the search for > the "x". Without this, the Get performs the searches for pairs "b" and "x" > .. which was not the intent. And I am guessing that this is what screwed > up everything, and lead to thoughts of SubsetLink... >
yes that's it! > > Anyway, I'm in the process of fixingin Subset and some other things so be > sure to pull a new atomspace .. say in 12 hours... > Thank you! That will very convenient :) Best, Alex -- You received this message because you are subscribed to the Google Groups "opencog" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/opencog/435697b7-fe97-4f5e-b547-5cbf39e6247e%40googlegroups.com.
