コアイメージ
事実と規則を記述し、問い合わせにより推論で解を導く言語
英英
A programming language in which programs are written as facts and rules and queries are answered by logical inference rather than by executing imperative commands.
語源
Prologは、'PROgramming in LOGic'の略で、1970年代に事実と規則で推論を行う言語として名付けられた。
コラム
- 学術や教育で広く使われ、事実と規則の組み立て方でプログラム構造が決まるため手続き型言語とは考え方が異なる。
「論理プログラミング言語Prolog」のレベル別の例文
「論理プログラミング言語Prolog」を英語にするときのよくある間違い
「論理プログラミング言語Prolog」の英語についてよくある質問
「論理プログラミング言語Prolog」と関連する日本語の英語
ほかの日本語から英語を引く
おすすめの単語帳
1 / 1