Does anyone know if the core.logic extensible unifier handle maps in an interesting and useful way?
Cheers, --Will On Wed, Mar 8, 2017 at 6:57 AM, Evgenii Moiseenko <[email protected]> wrote: > Association list was my first idea, and I actually use them currently. > > But I am curious is there more efficient solution ? > > O(1) for lookup would be the best option, but intuitively it seems hard to > implement something like hash-tables in relational manner. > Implementing a search tree seems to be more feasible. > > Nevertheless is there any research or papers in that area ? (efficient > relational map-like data structures). > > среда, 8 марта 2017 г., 5:21:42 UTC+3 пользователь Dan Friedman написал: >> >> Use assv as a model to look up variable in an alist. >> Then take that code of assv and write assvo. >> >> ... Dan >> >> On Tue, Mar 7, 2017 at 7:17 PM, Evgenii Moiseenko <[email protected]> >> wrote: >>> >>> I was wondering how the implementation of map-like data structure should >>> look like in MiniKanren. >>> I am writing an interpreter of imperative language in MiniKanren and I >>> need a data structure to represent a mappings between variables and their >>> values. >>> >>> Is there any code that implements that ? >>> >>> -- >>> 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. >> >> > -- > 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. -- 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.
