そういえば、Lisp の「全部関数（というわけじゃないけど）」とか
Prolog の「全部述語（というわけじゃないけど）」なパラダイムなら、
そもそも IF が分岐の意味を持っていない罠

アセンブリレベルならもちろんあるが、それは問題外