logic programming


Also found in: Thesaurus, Acronyms, Encyclopedia, Wikipedia.

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 ?
Ideal for adding enhancements to existing machinery, the controller enables machine modifications--without the need to access the main programmable logic controller logic--and provides additional sensing capabilities or application solutions using drag-and-drop logic programming through free software and a USB connection.
This year, iSignthis honored the undergraduate students' outstanding academic performance and in particular excellence in the courses of Artificial Intelligence, Image Processing, Systems Security and Logic Programming.
In the 1980s, Gallaire [8] and Jaffar and Lassez [9] noted that logic programming can be seen as a particular type of constraint programming.
In the design of an application layer, we use a constraint logic programming model to represent all the CPGs and detect the potential conflicts.
As previous years, the contest is based on logic programming of the sensor inputs of a LEGO-based robot.
Customers use the Studio 5000 Logix Designer front-end interface with Add-On-Instructions (AOI's) and Add-On-Profile (AOP) software to communicate with and configure the robot controller as the ladder logic programming is translated into robot code.
By applying of pressure sensor to start the timer and distance measurement of infrared through fuzzy logic programming operation, it is easy to implement and production.
For readers with at least a basic background in computer programming, Halin and Rugaber introduce programming in LogiQL, a declarative logic programming language developed to harness the power of first-order logic to support access to databases, influenced by Prolog and Datalog.
The ability to use of background knowledge has become one of the distinguish features Inductive Logic Programming [22].
The existing proposals for building a rule layer on top of the ontology layer of the Semantic Web refer to rule formalisms originating from the field of Logic Programming. The Rule Markup Language (RuleML) provides a natural mark-up for Datalog rules, using XML tags such as <head>, <body>, <atom>, etc.
Individual papers discuss such topics as temporally autonomous agent interaction, statistical properties of social group evolution, quantifying disorder in networks, inductive logic programming, norm emergence with biased agents and step-by-step implementation of multi-agent systems for a variety of uses.
The thesis applies methods from inductive logic programming (ILP) to learning in description logic knowledge bases.