What does "logic programming" mean?

Programming with a paradigm that bases on formal logic

What is a synonym for "logic programming"?

Common synonyms include: functional logic, logic programing, prolog.

noun

noun ·Rare ·Advanced level

Noun

1
Programming with a paradigm that bases on formal logic uncountable
2
creating a program that enables the computer to reason logically wordnet
3
a computer language designed in Europe to support natural language processing wordnet