The title should be corrected to "The Mercury functional logic programming language".