Login Preferences
About News Publications Statistics Downloads API Guide License How to use Preferences
bn:00051855n
Noun Concept
Categories: 人工知能, 論理プログラミング, 数理論理学, 理論計算機科学, 形式手法
JA
論理プログラミング  論理型プログラミング  論理型言語  ロジックプログラミング
JA
コンピュータが論理的に考えることができるようなプログラムを作成すること Japanese Open Multilingual WordNet
Definitions
Relations
Sources
JA
コンピュータが論理的に考えることができるようなプログラムを作成すること Japanese Open Multilingual WordNet
論理プログラミング（Logic Programming）とは、数理論理学（記号論理学）を基礎にしたプログラミングパラダイム、または数理論理学のコンピュータプログラミングへの応用である。 Wikipedia
IS A
プログラミング
プログラミングパラダイム
宣言型プログラミング
HAS KIND
EN
Abductive logic programming
EN
Multi-adjoint logic programming
EN
answer set programming
EN
functional logic programming
制約論理プログラミング
+1 relations
HAS INSTANCE
EN
SWI-Prolog
自己認識論理
Japanese Open Multilingual WordNet
JA
ロジックプログラミング, 論理プログラミング
Wikipedia
JA
論理プログラミング
Wikidata
JA
論理プログラミング
Wikipedia Redirections
JA
論理型プログラミング, 論理型言語
Wikidata Alias
JA
論理型プログラミング, 論理型言語

Please note that, in order to improve your browsing experience on this website, BabelNet® uses various types of cookies, including: browsing functionality, performance and statistical cookies.

By continuing to browse the site you are agreeing to our use of cookies. OK

License