Prolog（プロログ）

public.icon

Prolog（プロログ）は論理プログラミング言語の一つであり、該当分野で最もよく知られている論理型言語の代表格である。主に人工知能研究や計算言語学との関連性を持つ。定理証明、エキスパートシステム、自動計画、自然言語処理とも繋がりが深い。一階述語論理と形式論理を基礎にして、事実群と規則群の表現および関係の観点に立った宣言型パラダイムに準拠しており、その関係に則った質問によって計算が開始されるという性質を持つ。

チャットUIとの関係が深そう

Civichatとかも大きく関係がある気がする

UNIX哲学もデータ構造という文脈ではこの点に触れていた

論理憲法とかはこの形式で記述していたみたい

自然言語の形式意味論

手続き型

チャットUIと手続き型について