What is logical programming?

 

Logic programming is understood as the mechanism where the user must take charge of programming the computer so that it is capable of making its own decisions based on   the postulates and parameters of mathematical logic.

It should be noted that, for this type of programming to be able to fulfill its objective, the programmer must write a code free of ambiguities, which means that the written sentences must make sense and be true. This implies that they are logical.

Likewise, it is worth noting that logic programming is based on first-order logic, so it declares the things that must be done and the computer's execution engine will be in charge of deciding the best way to execute it.

This implies that for this type of programming a set of instructions or sentences is developed in a sequence. In addition, the coherent order of the instructions is carried out in order to achieve the goal more efficiently and quickly.