JavaScript

<if_then>::= if (<Boolean_expression>) {

     {<command.something>( statement )}

}

[else {

    {<command.something>( statement )}

}]
Pascal

<if_then>::= if <Boolean_expression> then

     begin

          { < Pascal statements > }

     end

else

     begin

          { < Pascal statements > }

     end
Prolog <if_then> := if ( (<ConditionGoal>, !), <ThenGoal>, <ElseGoal>)
Lisp

<test> ::= '('<Boolean_expression>')'

<action> ::= '('<statement>')'

<test set> ::= '('<test> <action>')' | <test set><test set>

<if_then> ::= '(cond'  <test set>');'
COBOL

<if_then> ::= IF <Boolean_expression>

THEN

    {<statement commands>}

ELSE

     {<statement commands>}

END-IF
Simula <if_then> ::= if <condition> then
begin
[ <statements> ]
end;
else
begin
[ <statements> ]
end;