constraint logic programming
constraint logic programming (CLP) A variation of logic programming (see logic programming languages) where constraint satisfaction is the mechanism used to perform computations rather than unification. Several programming languages have been developed for CLP.
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… Axiomatic Semantics , axiomatic •achromatic, acrobatic, Adriatic, aerobatic, anagrammatic, aquatic, aristocratic, aromatic, Asiatic, asthmatic, athematic, attic, autocrati… Logical , logical •cackle, crackle, grackle, hackle, jackal, mackle, shackle, tackle •ankle, rankle •Gaskell, mascle, paschal •tabernacle • ramshackle •débâcle… Rudolf Carnap , Rudolf Carnap
Rudolf Carnap
The German-American philosopher Rudolf Carnap (1891-1970) was the most prominent representative of the school of logical… 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…
You Might Also Like
NEARBY TERMS
constraint logic programming