ALF

Algebraic Logic Functional Language

A WAM-based language with narrowing and rewriting. Horn clauses with equality. Any functional expression can be used in a goal.

"The Implementation of the Functional-Logic Language ALF", M. Hanus and A. Schwab.