program = { statement } ; statement = if | while | ( expression , ";" ) ; function = "function" , identifier , "(" , { identifier , "," , } ")" , block loop = "loop" , block ; while = "while" , "(" , expression , ")" , block ; if = "if" , "(" , expression , ")" , block [ , "else" , ( if | block ) ] ; block = "{" , { statement } , "}" ; (* implemented *) expression = assignment | declaration ; declaration = "var" , identifier , "=" , expression ; assignment = ( identifier , "=" , assignment ) | logical_or; logical_or = logical_and { , "||" , logical_and } ; logical_and = equality { , "&&" , equality } ; equality = comparison { , ( "==" | "!=" ) , comparison } ; comparison = term { , ( ">" | "<" | ">=" | "<=" ) , term } ; term = factor { , ( "+" | "-" ) , factor } ; factor = unary { , ( "*" | "/" ) , unary } ; unary = ( ( "!" | "-" ) , unary ) | primary ; primary = identifier | member | call | number | string | group ; member = identifier , "." , { ( identifier | call ) , "." ? } ; call = ( identifier , "(" , { expression, "," ? } , ")" ) ; group = "(" , expression , ")" ; identifier = alphabetic , { alphabetic | digit } ; string = '"' , { character - '"' } , '"' ; number = digit , { digit } , [ "." , digit , { digit } ] ;