A *(logic) *(programming language) based on dynamic predicate logic. It implements it using executable processes, augmented with constructs for bounded iteration and bounded choice. It is somewhat also based on _(Alma), but is fully-_(declarative) without _(side effect)s.

<ul class="links">
<li>The _(home page|http://www.cwi.nl/~jve/dynamo/)
</ul>