²Picat also accepts Prolog-style if-then-else in the form (If -> Then; Else)and mandates the presence of the else-part.