Coherent programming in the Lincoln Reckoner

The concept of coherence is explained, and how it has been applied in the Lincoln Reckoner, an on-line system that provides computational assistance to scientists and engineers.