Logic Programming Features
As a fundamental characteristic or property of logic programming, it is found to be a variety of what is known as declarative programming. In addition, it focuses on establishing the resolution of a particular problem based on what, that is, it works descriptively, indicating relationships between entities, which in one way or another leads to languages with a high level of abstraction. Thus, the programmer's work must be directed towards guaranteeing that the statements placed in the system are correct, for which he implements options to prove theorems. In addition, this type of programming is characterized by being based on the formula of the well-known informal Kowalski equation, which says that algorithms = logic + control. This means that a certain algorithm is created from the specification of knowledge through axioms, that is, logic, and the problem is solved through an inference method that acts on it, which in thi...
