What Does Logic Programming Mean?

Logic programming is a type of computer programming that is based on formal logic rules. In a sense, logic programming corresponds to the use of mathematical equations and other logical constructs to drive programming outcomes.

Techopedia Explains Logic Programming

One basic way to explain logic programming is that it typically tends to be lists of logical rules that are used to provide programming outcomes. Another great way to characterize logic programming is to contrast it with other paradigms that mainly have developed more recently since the old days of linear BASIC and Fortran.