ツリー構造を定義し、その妥当性を問うプログラミング言語である。