logic programming

noun

UK /ˈlɒdʒɪk ˈprəʊɡræmɪŋ/

US /ˈlɑːdʒɪk ˈproʊɡræmɪŋ/

A way of telling a computer facts and rules so it can figure out answers.

In logic programming, you write rules like 'if it rains, the grass is wet' and the computer works out what is true.

SYNONYMS

declarative programming rule-based programming constraint programming relational programming

RELATED WORDS

Prolog inference predicate clause unification

OTHER MEANINGS

2. A style of programming based on formal logic where programs are sets of logical statements.

Prolog is the best-known logic programming language.

3. The use of logical deduction to solve problems in computer science.

The course covers logic programming and automated reasoning.

4. A paradigm where computation is expressed as relations rather than step-by-step instructions.

Logic programming lets you describe what is true instead of how to compute it.