In the same way the cKanren version is syntactic sugar around imperative code. Declarative is not a property of a language, it's a property of code that says how close to a mathematical specification the code is. My Python code is much more declarative than the given cKanren code in that regard. Just compare: http://dosync.posterous.com/another-taste-of-ckanren
On 11 nov, 23:47, Timothy Baldridge <tbaldri...@gmail.com> wrote: > >I wonder if you can make thecKanrenversion just as declarative as > >this one (cKanren'spurpose being declarative). > > I don't think the Python version could be considered declarative. One > of the concepts behind logic > programming (and to some extent declarative programming) is that you > can simply provide the > system with facts, and then the system (as a black box) > decides on the correct way to perform the operation. This Python > example is really > nothing more than syntactic sugar around a imperative brute force > approach to the problem. > > Timothy -- 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
