PROLOG（読み）プロログ

デジタル大辞泉

プロログ【PROLOG】［programming in logic］

《programming in logic》コンピューターのプログラミング言語の一。論理の記述に適しており、人工知能の研究やエキスパートシステムの分野で利用された。

出典　小学館

精選版 日本国語大辞典

プロログ【ＰＲＯＬＯＧ】

1. 〘 名詞 〙 ( [英語] programming in logic の略 ) 一九七〇年代初めから、フランスおよびイギリスで開発、設計された論理式プログラミング言語。論理の記述に適しており、人工知能や第五世代コンピュータで利用するために各国で研究が行なわれている。〔コンピュータとどう付き合うか（1982）〕

出典　精選版 日本国語大辞典

日本大百科全書(ニッポニカ)

Prolog
ぷろろぐ

1970年代に開発された論理的推論を動作原理としたプログラミング言語。Programming in Logicの意味でPrologと名づけられた。

　Prologのプログラミング言語としての特徴はパターンマッチングによる呼び出しと、バックトラックとよばれる自動探索機能にある。つまり、欲しい解の満たすべき性質を記述しておけば、それを自動的に探し出してくれるというものである。しかしながら、そのような理想どおりにうまくいくわけではなく、プログラミング上のくふうが必要である。

　Cなどのプログラミング言語に比べると人間に近いレベルでの記述が可能であり、とくに自然言語を処理するタスクには向いている。最近注目を浴びているIBMのWatson(ワトソン)では、ネット上の知識の処理などの部分についてはPrologで記述されている。

［中島秀之　2019年9月17日］

[参照項目] | パターンマッチング | プログラム言語 | Watson

出典　小学館　日本大百科全書(ニッポニカ)

ASCII.jpデジタル用語辞典

Prolog

1972年、フランスのマルセイユ大学のAlain Colmerauer氏が中心となって開発したプログラミング言語。述語論理を用いた論理型言語と呼ばれる非手続き型言語で、人工知能の開発に適しているといわれている。エキスパートシステムの開発などに用いられている。

出典　ASCII.jpデジタル用語辞典

世界大百科事典（旧版）内のPROLOGの言及

【機械推論】より

…また，論理と情報科学との関係も深く，論理回路検証支援を行う時制論理や，プログラム合成に用いられる直観主義論理，プログラム検証に用いられる動的論理がある。また，融合法と呼ばれる演繹推論の推論規則を計算の基礎としたPrologというプログラミング言語も開発されている。
[不完全な知識における推論]
　〈カレー粉がなければカレーができない〉という知識を考え，命題論理で以下のように表してみる。…

【探索理論】より

…探索のプログラムを書くのに便利なプログラム言語も研究されている。たとえばPROLOG（プロログ）は，問題をプログラムで表せば自動的に探索を行ってくれる。また，与えられた拘束条件を満たす探索をすることは，スケジュール作成などに応用でき，そのための言語も開発されている。…

【知識表現】より

…しかし，一般的な論理表現に対しては効率のよいものがない。扱う論理式の範囲をホーンHorn節に限り効率的な処理系を実現したのが，第5世代計算機で注目されたプロローグProlog言語である。人工知能エキスパートシステム【寺野 隆雄】。…

【プログラミング言語】より

…また，副作用のない関数の評価に基づく言語を関数型functional言語と呼び，ML，Haskellなどが代表的である(Lispを関数型に分類することもある)。さらに，Prologなど述語論理に基づくプログラミングモデルlogic programmingをもつ言語もあり，論理型言語と呼ばれる。　これらの言語の特徴として，その中核部分に限れば副作用をもたないという点が挙げられる。…

※「PROLOG」について言及している用語解説の一部を掲載しています。

出典｜株式会社平凡社「世界大百科事典（旧版）」