logical programming

Definitions

A programming paradigm based on formal logic, where programs are expressed as a set of facts and rules to be evaluated by an inference engine.

A declarative style of computing where the programmer specifies the desired outcome through logical relationships rather than defining the step-by-step control flow.

Examples

Logical programming allows developers to define a set of facts and rules to solve complex problems through automated reasoning.

Prolog is one of the most well-known languages used to demonstrate the core concepts of logical programming.

Synonyms

declarative programming rule-based programming formal logic programming predicate logic programming

Antonyms

imperative programming procedural programming object-oriented programming non-logical programming