%%% if-then-else control structure.
module if.

  %%% ``if Test E1 E2'' does E1 when Test
  %%% succeeds, and otherwise does E2.
  %%% This uses cut!
  
  if Test E1 E2 :- Test, !, E1.
  if Test E1 E2 :- E2.