Clojure Gazette 1.19
Issue 1.19 - August 24, 2012
Declarative programming means telling the computer what instead of how. SQL is declarative: you say what data you want. It is up to the database to figure out how to give it to you.
Declarative programming is having a slight resurgence at the moment. Clojure is feeling it, and I thought I'd tap into it that for this issue.
**Eric Normand **
PS I love to hear from readers. Just reply to this email to get in
PPS Tell your friends about the Clojure Gazette.
core.logic is a Prolog-style logic language embedded in Clojure. It isshaking things up. I've referred to core.logic before, but I repeat it because it is the perfect example of declarative programming in Clojure.
turing tar pit
A great paper that analyzes common sources of complexity in softwareand traditional approaches to managing that complexity. It ends with awide-eyed proposal for dealing with complexity by focusing ondeclarative programming.
A somewhat different take on declarative programming: functional programming_is_ declarative. I mostly disagree with this. I think in general functional degrades into a strict form of procedural programming. But it is good to see another perspective.
The Clojure Gazette reaches the inbox of over one thousand highly educated Clojure enthusiasts each week. The Gazette is also syndicated on Planet Clojure, where it reaches a larger and wider audience. Advertising on the Gazette is the best way to reach the best Clojure programmers.
If you have a high quality product,service, or event, a link to your site and a promotional description may be a good fit. Get in touchand we'll talk.
Stuart Halloway gives a similar talk to a previous talk about makingcode evident, that is making it say what it does. He goes into Datomica bit, as an example.
David Nolen goes through some core.logic code in New York.
Datalog was a part of clojure-contrib, but it is no longer beingmaintained. Would someone like to take it?
finally, a good explanation
I have not seen a better introduction to core.logic.