OK, I just got to the bottom of this email chain, and it looks OK to me. BTW, you may want to keep this in mind: the FreeLink is just a device to "memoize" the locations of variables in an expression. Thus, if you have an algorithm that needs to repeatedly search for variables in some link type, then it can be useful to inherit from FreeLink, -- this helps avoid the repeated search. The FreeLink has no additional semantics: it doesn't change the meaning of anything.
--linas -- 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 post to this group, send email to [email protected]. Visit this group at https://groups.google.com/group/opencog. To view this discussion on the web visit https://groups.google.com/d/msgid/opencog/5fa01759-20c4-4b96-bd2f-3aed235d238c%40googlegroups.com. For more options, visit https://groups.google.com/d/optout.
