How to Declare an Imperative

This tutorial describes the use of a monad to integrate interaction into a purely declarativen language. This technique has been implemented in the higher-order functional language Ha.skell. A sketch is given of how it might be added to a first-order language for logic programming.