"A structured alternative to Prolog with simple compositional semantics."

António Porto (2011)
a service of Schloss Dagstuhl - Leibniz Center for Informatics