調べた例文を記録して、効率よく覚えましょう
Weblio会員無料で登録できます
履歴機能
過去に調べた単語を確認できる
語彙力診断
診断回数が4回に増加
マイ単語帳
便利な学習機能付き
マイ例文帳
文章で意味を理解できる
日本語WordNet(英和)
logic programming
名詞
Weblio英和対訳辞書
logic programming
logic programming
logic programming
Weblio英和対訳辞書はプログラムで機械的に意味や英語表現を生成しているため、不適切な項目が含まれていることもあります。ご了承くださいませ。
Wiktionary英語版
出典：Wiktionary
logic programming
名詞
logic programming (uncountable)
- (programming) Programming with a paradigm that bases on formal logic
下位語
- abductive logic programming
- constraint logic programming
- functional logic programming
- inductive logic programming
関連する語
参照
- logic programming on Wikipedia.
ウィキペディア英語版
出典：Wikipedia
Logic programming
出典:『Wikipedia』 (2011/05/26 15:05 UTC 版)
英語による解説
ウィキペディア英語版からの引用
- 引用
Logic programming is, in its broadest sense, the use of mathematical logic for computer programming. In this view of logic programming, which can be traced at least as far back as John McCarthy's [1958] advice-taker proposal, logic is used as a purely declarative representation language, and a theorem-prover or model-generator is used as the problem-solver. The problem-solving task is split between the programmer, who is responsible only for ensuring the truth of programs expressed in logical form, and the theorem-prover or model-generator, which is responsible for solving problems efficiently.
- Copyright (C) 1994- Nichigai Associates, Inc., All rights reserved.
- All Rights Reserved, Copyright © Japan Science and Technology Agency
- 日本語ワードネット1.1版 (C) 情報通信研究機構, 2009-2010 License All rights reserved.
WordNet 3.0 Copyright 2006 by Princeton University. All rights reserved. License
- Copyright © 2026 CJKI. All Rights Reserved
- Wiktionary
- Text is available under Creative Commons Attribution-ShareAlike (CC-BY-SA) and/or GNU Free Documentation License (GFDL).
Weblio英和・和英辞典に掲載されている「Wiktionary英語版」の記事は、Wiktionaryのlogic programming (改訂履歴)の記事を複製、再配布したものにあたり、Creative Commons Attribution-ShareAlike (CC-BY-SA)もしくはGNU Free Documentation Licenseというライセンスの下で提供されています。
- Wikipedia
- Text is available under Creative Commons Attribution-ShareAlike (CC-BY-SA) and/or GNU Free Documentation License (GFDL).
Weblio英和・和英辞典に掲載されている「Wikipedia英語版」の記事は、WikipediaのLogic programming (改訂履歴)の記事を複製、再配布したものにあたり、Creative Commons Attribution-ShareAlike (CC-BY-SA)もしくはGNU Free Documentation Licenseというライセンスの下で提供されています。
