Logical Programming

Logic programming is a computer programming paradigm where program statements express facts and rules about problems within a system of formal logic.

Rules are written as logical clauses with a head and a body. Some logic programming languages, such as Datalog and ASP, are purely declarative. They allow for statements about what the program should accomplish, with no explicit step-by-step instructions on how to do so. Others, such as Prolog, are a combination of declarative and imperative.

Sources:

«Logic programming» by Computer Hope, 2019 https://www.computerhope.com/jargon/l/logic-programming.htm