發送短信: Prolog's Control Constructs in a Functional Setting — Axioms and Implementation