論理プログラミング
「論理プログラミング」の英語
「論理プログラミング」は英語で logic programming と言います。programing ではなく programming が通常の綴りです。代表的な言語に Prolog があり、事実や規則から推論する手法を指します。
例文
She studied logic programming at university.
彼女は大学で論理プログラミングを学んだ。
コアイメージ
事実と規則に基づき推論で解を導く論理プログラミング
英英
A programming paradigm in which programs consist of facts and rules and computation is performed by logical inference to answer queries.
語源
logic programmingは、述語論理に基づく計算モデルの研究から生じ、1970年代にPrologなどの言語の普及を通して「論理プログラミング」と呼ばれるようになった
コラム
- 論理プログラミングはプログラムを事実と規則として記述し問い合わせに対して推論で解を導く宣言的手法でAIやルール処理に適する
例文
コアイメージ
規則と事実に基づき論理推論で問題を解く手法、論理プログラミング
英英
A paradigm that encodes problems as logical facts and rules and derives solutions through inference and backtracking, commonly applied in AI, symbolic computation, and rule-based systems.
語源
logic programingは、logic（論理）とprogrammingの語の組合せに由来し、通常の英綴りはprogrammingでprogramingはまれか誤記とされる点も語源説明の一部となる
コラム
- 英語表記では通常 programming を用い、programing はまれまたは誤記とされることと、代表的実装にPrologがある点が特徴
「論理プログラミング」のレベル別の例文
- 中学
- 高校・英検2級
Logic programming can represent facts and rules clearly.
- TOEIC・ビジネス
Our team is evaluating logic programming for rule-based automation.
- 日常会話
I learned about logic programming in class.
「論理プログラミング」を英語にするときのよくある間違い
× logic programing
英語では通常、programmingと綴ります。
× logical programming
この分野の名称はlogicalではなくlogic programmingが一般的です。