Planner
制御構造の議論はプログラミング言語としての数理論理学の使用の可能性に関して議論を呼んだ。手続き的アプローチは、数理論理学とは異なる数学的意味論(表示的意味論参照)を持つ。数理論理学だけでは、非決定性を持つ並列システムや分散システムを記述できない。