Login Preferences
About News Publications Statistics Downloads API Guide License How to use Preferences
bn:02698286n
Noun Concept
Categories: Normal forms (logic), Logic in computer science
EN
Horn clause  definite clause  dual-Horn clause  Horn clauses  Horn formula
EN
In mathematical logic and logic programming, a Horn clause is a logical formula of a particular rule-like form that gives it useful properties for use in logic programming, formal specification, universal algebra and model theory. Wikipedia
Definitions
Relations
Sources
EN
In mathematical logic and logic programming, a Horn clause is a logical formula of a particular rule-like form that gives it useful properties for use in logic programming, formal specification, universal algebra and model theory. Wikipedia
A clause (disjunction of literals) with at most one positive literal. Wiktionary
IS A
clause
NAMED AFTER
Alfred Horn
Wikipedia
EN
Horn clause
Wikidata
EN
Horn clause
Wiktionary
EN
Horn clause
Wikipedia Redirections
EN
definite clause, dual-Horn clause, Horn clauses, Horn formula, Horn logic, Horn sentence, universal Horn theory
Wikidata Alias
EN
Horn formula

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