Blending imperative and relational programming

When imperative (value- or state-oriented) programming and logical (relation-oriented) programming are combined into a single language, the combination is even more powerful than when either technique is used alone. Leda, a strongly typed compiled language that tries to combine features of both, is described. Suggestions for blending the two styles are offered. Logical features of Leda are examined.<<ETX>>