Why another programming language? Do we not have enough of them?
Well, let us try this real world experiment. Go to the best programmer you know. Pick the simplest formula you can think of: E=mc2. Ask how the Energy (E) can be calculated, for a mass (m) of 1kg, 2kg, 3kg,… 10kg and for a constant Speed of Light (3x10^8m/s). And let us just watch the programmer for what happens next. Yes, go ahead and start a stop watch!
Likely that the programmer would pull up a spreadsheet and type formulae notation such as on the right, to do this, within a minute or so. Or maybe, the programmer would make a program, in a computer language to do this, and will come back to you in about an hour!
Well, this shows the poor state of the current state of the art computer human interaction. Today, an ordinary computer can do billions of operations per second. And even with the best techniques, translating from our human language to computer language takes minutes or hours!
That is why we created a simple Language for you and the machine called: Z3.