A *(programming language) which combines *(functional) and *(logic) techniques.

<ul class="links">
  <li>_("The ALF System"|http://www.informatik.uni-kiel.de/~mh/systems/ALF.html).</li>
</ul>
