Is there some documentation on core.logic's implementation that I could use for something like this?
On Saturday, 16 March 2013 17:53:49 UTC-4, JvJ wrote: > > Maybe I'll try to write something in, if I can swing it. > > Basically, with assert, you can incorporate database modifications as part > of a query. > > Here is an example: > > 1 ?- assert(person(dNolen)). > true. > > 2 ?- person(X), assert(coolguy(X)). > X = dNolen. > > 3 ?- coolguy(X). > X = dNolen. > > On Saturday, 16 March 2013 17:46:50 UTC-4, David Nolen wrote: >> >> Doesn't exist and I'm not that familiar with assert. Patch welcome of >> course. >> >> >> On Sat, Mar 16, 2013 at 5:24 PM, JvJ <kfjwh...@gmail.com> wrote: >> >>> I realize that it is possible to enter facts into the core.logic >>> database with the facts function. However, I'm looking for something more >>> like the Prolog assert; a relational operator with a side effect of adding >>> facts to the db. Is there anything like that? >>> >>> -- >>> -- >>> You received this message because you are subscribed to the Google >>> Groups "Clojure" group. >>> To post to this group, send email to clo...@googlegroups.com >>> Note that posts from new members are moderated - please be patient with >>> your first post. >>> To unsubscribe from this group, send email to >>> clojure+u...@googlegroups.com >>> For more options, visit this group at >>> http://groups.google.com/group/clojure?hl=en >>> --- >>> You received this message because you are subscribed to the Google >>> Groups "Clojure" group. >>> To unsubscribe from this group and stop receiving emails from it, send >>> an email to clojure+u...@googlegroups.com. >>> For more options, visit https://groups.google.com/groups/opt_out. >>> >>> >>> >> >> -- -- You received this message because you are subscribed to the Google Groups "Clojure" group. To post to this group, send email to clojure@googlegroups.com Note that posts from new members are moderated - please be patient with your first post. To unsubscribe from this group, send email to clojure+unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/clojure?hl=en --- You received this message because you are subscribed to the Google Groups "Clojure" group. To unsubscribe from this group and stop receiving emails from it, send an email to clojure+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/groups/opt_out.
