nting System, Graham Gal and Bill McCarthy</a></p>
<p>Wim Laurier is working on how to do it declaratively. <a href="../../linked-docs/paper8.pdf">This paper</a> gives an early view of how Wim and Satoshi Horiuchi intend to do it.</p>
<p>The difference between doing it procedurally and doing it declaratively:</p>
<ul>
<li>A procedural program defines a step-by-step method of getting the desired results.</li>
<li>A declarative program describes the desired results and hands it to another program that can gen