A *(functional) *(programming language) that is a mix of _(Common Lisp) and _(Prolog). It supports _(pattern-matching) style of functional programming with call-by-need backtracking, while being an embedded extension of *(Lisp). It is also interesting in being an optionally-statically-typed functional language.

<ul class="implementations">
<li>The _(home page at Simulys| http://www.simulys.com/guideto.htm) describes more details.
</ul>