Login Preferences
About News Publications Statistics Downloads API Guide License How to use Preferences
bn:00051855n
Noun Concept
Categories: Logic, Computer-related introductions in 1972, Articles with short description, long volume value, Logic programming
EN
logic programming  logic programing  rule-based  And-parallel  And-parallelism
EN
Creating a program that enables the computer to reason logically WordNet 3.0
Definitions
Relations
Sources
EN
Creating a program that enables the computer to reason logically WordNet 3.0 & Open English WordNet
Logic programming is a programming, database and knowledge-representation and reasoning paradigm which is based on formal logic. Wikipedia
Programming with a paradigm that bases on formal logic. Wiktionary
Programming paradigm. Wiktionary (translation)
IS A
programming
programming paradigm
declarative programming
HAS KIND
Abductive logic programming
Multi-adjoint logic programming
answer set programming
functional logic programming
constraint logic programming
+1 relations
HAS INSTANCE
SWI-Prolog
autoepistemic logic
WordNet 3.0 & Open English WordNet
EN
logic programming, logic programing
Wikipedia
EN
logic programming
Wikidata
EN
logic programming
Wiktionary
EN
logic programming
Wikipedia Redirections
EN
And-parallel, And-parallelism, higher-order logic programming, Higher order logic programming, History of logic programming, linear logic programming, logic language, logic program, Logic Programming, logic programming language, logical (programming), logical programming, Metalogic programming, Object-oriented logic programming, Or-parallel, Or-parallelism, relational programming, rule-based, Transaction logic programming

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