logic programming

(redirected from Program logic)
Also found in: Thesaurus, Medical, Legal, Encyclopedia.

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 ?
AutoSave Basic will ensure that if a device fails, the most current copies of program logic and documentation are available so plant operations can be restored quickly and correctly.
Much of the technology is approaching obsolescence and needs to be replaced with emphasis on standardization of program logic controllers (plc) and other equipment.
The purpose of the Hawk project is to have researchers analyze BASH - command processor or Unix shell scripts for the purposes of extracting and categorizing variable types, as well as isolating configuration parameters from program logic.
A logframe is a method of setting out program logic, performance measures, and assumptions in one integrated table, a simple way of demonstrating that measures are relevant, appropriate, and linked to the overall success of a program.
Here she shows students with no programming language experience how to develop structured program logic.
This shifts complex parallel computing tasks to the GPU and keeps program logic aligned with the CPU, enabling dramatically higher levels of performance than CPU-only systems, while significantly reducing power consumption.
Although his father had plenty of recording gear and instruments in his studio, James only became interested in this side of things after that trip to FWD, when he realised the only way to make new sounds would be to get a copy of music-making program Logic and to start to copy the "pure, original dubstep" he adored by the likes of Mala and Coki, the Digital Mystikz.
The implementation conceptualized in Figure 1 provides an API and framework that is applied to specific longrunning program logic.
It is assumed that the reader has some level of familiarity with computing systems, and the programming chapters assume an understanding of C/C++ and basic program logic.
Evaluators typically develop a program logic model to clarify the expectations of program managers and other stakeholders about how the program is supposed to work and how--through what mechanism--the intended results will be achieved (see Figure 1).
Lessons learned are grouped into six categories: metrics and data sources, methodology, program logic, adaptive systems, realistic expectations, and dependencies among the previous five.
A powerful program logic language, an interactive prototyping tool, and a code generator that analyzes data logic and creates highly optimized, portable C code specific to an application's needs.

Full browser ?