論理プログラミング
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2021/12/19 16:42 UTC 版)
ナビゲーションに移動 検索に移動プログラミング・パラダイム |
---|
より一般的に受け入れられている論理プログラミングは、述語論理を基礎にし、問題領域の事実と規則を論理式モデル書式で表現して(ロジック)非決定性の演繹の導出原理を用いる(コントロール)というものである。このアルゴリズムスタイルで最も普及した論理プログラミング言語は「Prolog」である。
- ^ Alain Colmerauer and Philippe Roussel, The birth of Prolog
- ^ Robert Kowalski. The Early Years of Logic Programming
- ^ Robert Kowalski. The Early Years of Logic Programming
- ^ R.A.Kowalski (July 1979). “Algorithm=Logic + Control”. Communications of the ACM 22 (7): 424–436. doi:10.1145/359131.359136.
- ^ Kenneth Kahn, and Viyaj Saraswat, Actors as a Special Case of Concurrent Constraint Programming
論理プログラミングと同じ種類の言葉
- 論理プログラミングのページへのリンク