logic programming

(redirected from Logic programming language)
Also found in: Thesaurus, Encyclopedia.
Related to Logic programming language: Prolog, Functional 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 ?
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.
In April 2009, Yokogawa launched the UTAdvanced series of digital indicating controllers featuring sequence control based on the widely used ladder logic programming language.
YOKOGAWA Electric Corporation has announced the release of the UT35A and the UT32A, two entry-level models in the UTAdvanced series of digital indicating controllers.These new low-cost models have a sequence control function that is based on the general-purpose ladder logic programming language and are targeted for use in the single-loop control of production equipment.
Prolog is principally a logic programming language for performing deduction or proof.
DALI [14] is an Active Logic Programming language designed for executable specification of logical agents.
The most well-known and widely used logic programming language is Prolog [Colmerauer 1985; Kowalski 1988; Sterling and Shapiro 1986], which uses the Horn clause subset of first-order logic as a programming language and the resolution principle as a method of inference with well-defined model-theoretic and proof-theoretic semantics [Lloyd 1987].
Prolog is a logic programming language in which facts, rules, and goals can be expressed.
GOLOG: A Logic Programming Language for Dynamic Domains.
Prolog is a logic programming language often used in AI work, based upon predicate calculus and first developed in 1972.
In those days, this was one of the largest programs written in a logic programming language. Up to the intermediate stage of the project, we used PSI and SIMPOS as the infrastructure to conduct research on expert systems and natural language processing.
The inference engine of the logic programming language Prolog is a resolution system.