I've found these, but I'm still a little confused:
https://github.com/clojure/core.logic/wiki/Tabling
https://github.com/clojure/core.logic/wiki/Features#user-content-tabling
https://clojuredocs.org/clojure.core.logic/tabled

1. What exactly is tabling for? Is it for helping programs terminate, or is 
it a performance optimization?
2. Can it be used to 'cache' the results of a goal that's expensive to 
compute?
3. Are there any more examples of how to use tabling, particularly ^:tabled 
with the defne/defna/defnu forms?

-- 
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.

Reply via email to