Enviar por SMS: Prolog's Control Constructs in a Functional Setting — Axioms and Implementation