Bracmatは、1990年代以降にBart Jongejanによって開発された記号処理言語

 Bracmatは、1990年代以降にBart Jongejanによって開発された記号処理言語であり、構文解析、パターンマッチング、木構造変換、論理探索を単一の実行モデルへ統合しようとした試みとして位置付けられる。その設計思想は、COMIT、SNOBOL、Icon、Prolog、Lispといった記号処理系の系譜に連なりながらも、コンパイラや仮想機械を中心とする現代的言語処理系とは異なる発展を遂げた。Bracmatにおいてプログラムは主として木構造として表現され、評価とは命令列の逐次実行ではなく、パターン照合と項書換えの連続として理解される。特に「:」演算子による構造分解は、代入、構文解析、照合、束縛を同時に実現し、プログラムとデータの境界を曖昧にする。

実装面では、BracmatはC言語による小規模なインタプリタとして構築されており、ソースコードは内部木構造へ変換された後、再帰的なパターンマッチャとバックトラック機構によって評価される。このためBracmatは、一般的なプログラミング言語というよりも、項書換えシステム、エキスパートシステム、自然言語解析器、あるいは知識表現基盤として理解する方が適切である。実際に自然言語処理、XML変換、ルールベース推論などへの応用例が存在する。

Bracmatを味わうとは、プログラムを「計算手順」ではなく「意味構造の変形過程」として眺めることである。それはAI以前の記号処理研究が追求した、知識と規則を直接実行可能な形で記述するという思想を現代に伝える貴重な実験系なのである。

関連キーワード：
Bracmat、Bart Jongejan、記号処理、パターンマッチング、項書換え系、バックトラック、SNOBOL、Icon、Prolog、Lisp、抽象構文木、知識表現、自然言語処理、ルールエンジン、木構造変換、記号AI、論理プログラミング、DSL、再帰下降、構文解析