ろんり
論理プログラミング
1. logic programmingComputing
2. Logic programmingLogic 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 Alonzo Church [1932 1932], logical inference can be used in programming. This view was further developed by John McCarthy's [1958 1958] advice-taker proposal to use forward chaining under the control of logical propositions.
Read “Logic programming” on English Wikipedia
Read “論理プログラミング” on Japanese Wikipedia
Read “Logic programming” on DBpedia
Read “Logic programming” on English Wikipedia
Read “論理プログラミング” on Japanese Wikipedia
Read “Logic programming” on DBpedia
Discussions
Log in to talk about this word.