logic programming

(redirected from Logic program)
Also found in: Thesaurus, Encyclopedia.
Related to Logic program: Logic programming language

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 ?
That is, the logic program that is supposed to satisfy the goal does not cover the initial conditions of the task.
The software program ontology, K, is developed based on OWL and the logic program, RuleML (RuleML 2002), is taken for R.
Within BESTCOMSPlus, the company has provided a user-friendly programmable logic program that allows the user to meet specifications that previously would have required an additional PLC, Basler said.
Logic 7 Pro and Express users will find an excellent companion to the program in LOGIC PRO TIPS AND TRICKS, a guide to the powerful Apple Logic program which can be difficult at best.
AppIntell has developed an advanced name-match logic program, allowing the company's products to scan a database of 800,000 names for all types of compliance issues in a matter of seconds.
The ladder logic program for each job is usually written and stored on a laptop PC and then downloaded into the PLC in a matter of minutes.
An extended logic program P is composed of clauses of the form:
To apply the general idea of narrowing to integrated functional logic languages, a functional logic program is considered as a set of rewrite rules (with some additional restrictions explained later).
"If you print out the ladder logic program for a PLC system of a sophisticated oven or a fryer, it literally is a three- to four-inch stack of paper just telling you the what-ifs," points out James Padilla, director of product development for Heat and Control Inc.
Lewis is skeptical of any need for most of the relevance logic program, and finds little of concern in the relevance logician's objections to classical logic.
Among its software were two math programs, one logic program, and a chess game--all notably absent from the flowered computer.