Put_Line ("Testing if ""6 and then 5"" are odd"); if (Is_Odd (6) and then Is_Odd (5)) then Put_Line ("True"); else Put_Line ("False"); end if;
Put_Line ("Testing if ""6 or else 5"" are odd"); if (Is_Odd (6) or else Is_Odd (5)) then Put_Line ("True"); else Put_Line ("False"); end if; end Short_Circuit;
W przykładzie widać też użycie podwójnego znaku "" dla zaznaczenia " w łańcuchu. Umożliwia to obycie się bez skomplikowanych i podatnych na błędy zasad escape'owania znaków. W C taka składnia byłaby niemożliwa ponieważ C pozwala napisać "łańcuch 1" "łańcuch 2" (z rozdzielającymi spacjami lub bez), co oznacza to samo co "łańcuch 1łańcuch 2" i jest przydatne w preprocessingu.