Truly declarative language?

Question

Does anyone know of a truly declarative language? The behavior I'm looking for is kind of what Excel does, where I can define variables and formulas, and have the formula's result change when the input changes (without having set the answer again myself)

The behavior I'm looking for is best shown with this pseudo code:

X = 10     // define and assign two variables Y = 20;  Z = X + Y  // declare a formula that uses these two variables  X = 50     // change one of the input variables  ?Z         // asking for Z should now give 70 (50 + 20) 

I've tried this in a lot of languages like F#, python, matlab etc, but every time I tried this they come up with 30 instead of 70. Which is correct from an imperative point of view, but I'm looking for a more declarative behavior if you know what I mean.

And this is just a very simple calculation. When things get more difficult it should handle stuff like recursion and memoization automagically.

The code below would obviously work in C# but it's just so much code for the job, I'm looking for something a bit more to the point without all that 'technical noise'

class BlaBla{     public int X {get;set;}  // this used to be even worse before 3.0     public int Y {get;set;}     public int Z {get{return X + Y;}} }  static void main(){    BlaBla bla = new BlaBla();    bla.X = 10;    bla.Y = 20;    // can't define anything here    bla.X = 50; // bit pointless here but I'll do it anyway.     Console.Writeline(bla.Z);// 70, hurray! } 

This just seems like so much code, curly braces and semicolons that add nothing.

Is there a language/ application (apart from Excel) that does this? Maybe I'm no doing it right in the mentioned languages, or I've completely missed an app that does just this.

I prototyped a language/ application that does this (along with some other stuff) and am thinking of productizing it. I just can't believe it's not there yet. Don't want to waste my time.

Answer 1

Any Constraint Programming system will do that for you. Examples of CP systems that have an associated language are ECLiPSe, SICSTUS Prolog / CP package, Comet, MiniZinc, ...