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