In these languages, the programmer’s job is to establish how a problem is solved through statements. However, logic programming is not about how, but what: it works in a descriptive way, establishing relationships between entities, which forces those who have languages a high level of abstraction.