Enviar aquest missatge de text: Prolog's Control Constructs in a Functional Setting — Axioms and Implementation