Horn clause
Horn clause In the clausal form of logic, an expression of the form A if B1 and B2 and … and Bn
This should be contrasted with the general form of clause A1 or A2 or … or Am if B1 and B2 and … and Bn
where A1 … Am are the alternative conclusions and B1 … Bn are the joint conditions. A Horn clause is a special case of this general form in that it contains at most one conclusion.
Horn clauses were first investigated by the logician Alfred Horn. The majority of formalisms employed in computer programming bear greater resemblance to Horn clauses than to the more general form. The logic programming language Prolog is based upon the Horn clause subset of logic.
This should be contrasted with the general form of clause A1 or A2 or … or Am if B1 and B2 and … and Bn
where A1 … Am are the alternative conclusions and B1 … Bn are the joint conditions. A Horn clause is a special case of this general form in that it contains at most one conclusion.
Horn clauses were first investigated by the logician Alfred Horn. The majority of formalisms employed in computer programming bear greater resemblance to Horn clauses than to the more general form. The logic programming language Prolog is based upon the Horn clause subset of logic.
More From encyclopedia.com
Logic Circuit , logic circuit An electric circuit concerned with logic systems. The term logic device is often used synonymously. A logic circuit is required to prod… Fuzzy Logic , "Fuzzy logics" are multivalued logics intended to model human reasoning with certain types of imprecision. The field of fuzzy logic originated with a… Symbolic Logic , Logic, Symbolic
A modern version of formal logic, referred to variously as logistic, mathematical logic, and the algebra of logic; it may be describe… Logical , logical •cackle, crackle, grackle, hackle, jackal, mackle, shackle, tackle •ankle, rankle •Gaskell, mascle, paschal •tabernacle • ramshackle •débâcle… Logic , Logic
LOGIC (Heb. חָכְמַת הַדִּבּוּר or מְלֶאכֶת הַהִגַּיוֹן), the study of the principles governing correct reasoning and demonstration. The term lo… Rudolf Carnap , Rudolf Carnap
Rudolf Carnap
The German-American philosopher Rudolf Carnap (1891-1970) was the most prominent representative of the school of logical…
You Might Also Like
NEARBY TERMS
Horn clause