Rich, Sometime ago I uploaded a file that implemented the logic programming system from "The Reasoned Schemer" in Clojure. I'm intending to revisit that and rewrite it in idiomatic Clojure. But first I've got to complete the dataflow programming model I'm implementing because I believe it will lead to a very natural implementation. So far, I've written an SMTP server in it I'm very pleased with the results so I'm anxious to do the logic programming implementation.
Jim > Yes, I was talking about Datalog and the IRIS Reasoner. > > The idea would be to add some declarative capabilities to Clojure. > I've thought about adding a mini-Prolog, which is often embedded in > Lisps, but I think Datalog is a better fit. It gives simple > declarative rules along with a query engine that supports recursion, > termination and set-at-a-time evaluation, making for a very nice > embedded data query capability. > > I'm still trying to choose between building an interface to IRIS or > building a Datalog implementation from scratch in Clojure. > > Looking for feedback, ideas, and participants. > > Rich --~--~---------~--~----~------------~-------~--~----~ 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 To unsubscribe from this group, send email to [EMAIL PROTECTED] For more options, visit this group at http://groups.google.com/group/clojure?hl=en -~----------~----~----~----~------~----~------~--~---
