I think these can be encoded using trees, yes? (Wiki seems to also suggest so, if I'm reading that correctly). I know of no implementations that implement feature constraints presently, but I know those have been investigated in other contexts <http://www.sciencedirect.com/science/article/pii/0743106694900442>.
JBH On Sat, Dec 24, 2016 at 8:06 AM, Amirouche Boubekki < [email protected]> wrote: > Héllo, > > > Did anyone implement minikanren for feature structure > <https://en.wikipedia.org/wiki/Feature_structure>? > > > Best! > > > Amirouche aka. amz3 > > -- > You received this message because you are subscribed to the Google Groups > "minikanren" 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/minikanren. > For more options, visit https://groups.google.com/d/optout. > -- JBH -- You received this message because you are subscribed to the Google Groups "minikanren" 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/minikanren. For more options, visit https://groups.google.com/d/optout.
