コトバンクはYahoo!辞書と技術提携しています。

Prolog ぷろろぐ

2件 の用語解説(Prologの意味・用語解説を検索)

ASCII.jpデジタル用語辞典の解説

Prolog

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

出典|ASCII.jpデジタル用語辞典
それぞれの用語は執筆時点での最新のもので、常に最新の内容であることを保証するものではありません。

デジタル大辞泉の解説

プロログ【PROLOG】[programming in logic]

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

出典|小学館 この辞書の凡例を見る
監修:松村明
編集委員:池上秋彦、金田弘、杉崎一雄、鈴木丹士郎、中嶋尚、林巨樹、飛田良文
編集協力:曽根脩
(C)Shogakukan Inc.
それぞれの用語は執筆時点での最新のもので、常に最新の内容であることを保証するものではありません。

世界大百科事典内のPrologの言及

【機械推論】より

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

【探索理論】より

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

【知識表現】より

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

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

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

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

出典|株式会社日立ソリューションズ・クリエイト
All Rights Reserved. Copyright (C) 2015, Hitachi Solutions Create,Ltd. 収録データは1998年10月に編集製作されたものです。それぞれの用語は執筆時点での最新のもので、常に最新の内容であることを保証するものではありません。また、本文中の図・表・イラストはご提供しておりません。

Prologの関連キーワードベイユマルセイユマルセイエーズ馬耳塞ラマルセイエーズマルセル石鹸中村博愛マルセイユ版マルセイユリキッドソープマルセイユ風

今日のキーワード

パラチオン、パラチオンメチル

パラチオンは無色で油状の液体、パラチオンメチルはコハク色の液体。ともに毒性が強く、有機リン系殺虫剤として使用された。50年代以降、稲の害虫被害を防ぐことが確認され、広く導入された。しかし、農民の中毒死...

続きを読む

コトバンク for iPhone

Prologの関連情報