logic programming languages
logic programming languages (logic languages) A class of programming languages, and a subclass of the declarative languages, that is based on the use of logical formulas. The interpreter is usually some version of resolution, or another logical inference process. The ideal is that the programmer has only to make a series of true assertions about the problem and the interpreter will find a way to run these as a program to solve the problem. In practice, it is still necessary for the programmer to give regard to the procedural interpretation of these logical assertions. The most widely used realization of these ideals is the Prolog programming language.
Logic programming languages are important because of their declarative nature, their potential power and flexibility, and their suitability for execution on highly parallel architectures.
Logic programming languages are important because of their declarative nature, their potential power and flexibility, and their suitability for execution on highly parallel architectures.
More From encyclopedia.com
Axiomatic Semantics , axiomatic •achromatic, acrobatic, Adriatic, aerobatic, anagrammatic, aquatic, aristocratic, aromatic, Asiatic, asthmatic, athematic, attic, autocrati… 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… Rudolf Carnap , Rudolf Carnap
Rudolf Carnap
The German-American philosopher Rudolf Carnap (1891-1970) was the most prominent representative of the school of logical… Logical , logical •cackle, crackle, grackle, hackle, jackal, mackle, shackle, tackle •ankle, rankle •Gaskell, mascle, paschal •tabernacle • ramshackle •débâcle… 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… 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…
You Might Also Like
NEARBY TERMS
logic programming languages