式言語とは、特定のドメイン知識を機械が読み取り可能な形で表現するためのコンピュータ言語です。例としては、以下のようなものが挙げられます。
- 高度なブール式言語、ハードウェア記述のための廃止されたハードウェア記述言語
- データ分析式(DAX) は、Microsoft が開発し、Power Pivot などで使用されている式言語です。
- Jakarta Expression Language は、Jakarta EE Webアプリケーションで使用されるドメイン固有言語です。以前は「Unified Expression Language」、「Expression Language」、または単に「Expression Language」と呼ばれていました。
- 権利表現言語、著作権やライセンス情報などの無形の権利を表現するために使用される機械処理可能な言語