Deakstadieđáhus: Prolog's Control Constructs in a Functional Setting — Axioms and Implementation