Skip to main content
Glite Dictionary
logic programming

logic programming

6.7
A way to tell a computer facts and rules so it can solve problems
  • noun
  • /ˈlɒdʒɪk ˈprɒɡræmɪŋ/
  • Specialized
translation icon : programación lógica
  • No, they are logic programming systems, and they are much better theorem provers than most math students in the first or second semester.
  • representation in logic programming

No, they are logic programming systems, and they are much better theorem provers than most math students in the first or second semester.

Examples

  • Logic programming is a style of logic programming that uses formal logic to solve problems.

  • Could you please repeat what the three things you use logic programming to find?

  • This style of programming, by the way, is called logic programming, kind of obvious reasons.

  • Prolog is the most widely known logic programming language.

    Academic text (2011)

  • Formalizing these intuitions posed a challenge to the knowledge representation and logic programming communities for years.

    Academic text (2011)

  • His research interests cover rule-based systems, complex event processing, business process management, and theoretical and practical aspects of logic programming with a focus on abductive reasoning.

    Academic text (2017)

  • Her research activity focuses on artificial intelligence, knowledge representation and reasoning, logic programming, multiagent systems, and applications of expert systems, with particular emphasis on the medical domain.

    Academic text (2017)

  • Its origins, however, go back a long time; it is an outcome of years of research in knowledge representation, logic programming, and constraint satisfaction areas that sought and studied declarative languages to model domains.

    Academic text (2011)

  • Imperative is good for the top-level coordination and IO of a system; declarative is good for data access; and logic programming is good for business rules and conditionals.

    Blog text (8)

  • Prolog is a popular language used for logic programming in artificial intelligence applications.

How Heuristic

heuristic program
  • Specialized
8.4
logic programming
  • Specialized
6.7
algorithmic program
  • Specialized
6.0
determinacy
  • Specialized
8.2

Surface Forms

logic programming singular
logic programmings plural

Morphology

logic + programming

The compound combines 'logic' (rules or systems of reasoning) with 'programming' (writing computer code), so a learner who knows both words can infer it refers to programming based on logical rules. Although the full technical details are specialized, the meaning is compositionally built and follows a common noun–noun pattern, making it immediately understandable to B1 learners.

Etymology

The name logic programming comes from the idea of writing clear logic, or 'facts and rules', and letting programming set up a program that follows those clues like a detective. So it means a way of coding where you state 'facts and rules' and the computer works out the answer by itself.