What is logic programming?

Logic programming is a programming paradigm, which basically means it is a particular way to approach programming. Before we talk about what it constitutes and how it is relevant in Artificial Intelligence, let's talk a bit about programming paradigms.

The concept of programming paradigms arises owing to the need to classify programming languages. It refers to the way computer programs solve problems through code. Some programming paradigms are primarily concerned with implications or the sequence of operations used to achieve the result. Other programming paradigms are concerned about how we organize the code.

Here are some of the more popular programming paradigms:

• Imperative: This uses statements to change a program's state, thus allowing for side effects.

• Functional: This treats computation as an evaluation of mathematical functions and does not allow changing states or mutable data.

• Declarative: This is a way of programming where you write your programs by describing...