Definition

Noun 1. A paradigm of computer programming: A method of creating software where programs are expressed as sets of logical statements (facts and rules) and the computer uses automated reasoning to derive answers. 2. A specific computer language: Refers to a programming language, particularly those developed in Europe (like Prolog), designed to support this paradigm and applications like natural language processing.

Usage

• As a programming paradigm:
  • The course introduces logic programming as an alternative to imperative styles.
  • In logic programming, you declare what is true, not how to compute it.
• Referring to the language:
  • The project uses logic programming for its knowledge base system.

Advanced Usage

• Declarative programming: Logic programming is a prime example of declarative programming, where the programmer specifies the "what" (the logic of the problem) rather than the "how" (the control flow).
  • The power of logic programming lies in its declarative nature.

Variants and Related Words

• Logic programming language (n): A more specific term for languages like Prolog that implement the logic programming paradigm.
  • Prolog is a well-known logic programming language.
• Prolog (n): The most common specific language for logic programming.
• Declarative programming (n): The broader programming paradigm that includes logic programming.

Synonyms

• Declarative logic programming
• Rule-based programming (in certain contexts)

Related Phrases

• Logic programming system: The software environment that executes logic programs.
  • They built a new logic programming system for academic research.

Noun

1. creating a program that enables the computer to reason logically
2. a computer language designed in Europe to support natural language processing