logic programming

(redirected from Logical programming)
Also found in: Thesaurus, Encyclopedia.
Related to Logical programming: Prolog

logic programming

n
(Computer Science) the study or implementation of computer programs capable of discovering or checking proofs of formal expressions or segments
ThesaurusAntonymsRelated WordsSynonymsLegend:
Noun1.logic programming - a computer language designed in Europe to support natural language processing
programing language, programming language - (computer science) a language designed for programming computers
2.logic programming - creating a program that enables the computer to reason logically
computer programing, computer programming, programing, programming - creating a sequence of instructions to enable the computer to do something
References in periodicals archive ?
BMSs rely on sensors and devices, as well as appropriate logical programming to ensure energy consuming equipment are operating in a way that reduces a building's energy footprint without compromising indoor environmental quality.
As an example of logical programming it worked well, with the extracts from Liszt's Annees de Pelerinage even showing subtle links to the Debussy set.
The EZMotion modules give straightforward and logical programming of speeds, positioning and limits and a first-time correct programming capability.