This is an example of the dc (reverse polish calculator) language. It solves Pythagorean Theorms.