Paradigm: Logic

Logic programming paradigm involves using mathematical logic for program development. In a more narrow sense, logic programming represents the program as a set of declarative statements of form to show/solve H, show/solve B1 and ... and Bn. This set of statements can be treated as goal-reduction procedures which break one general problem into a set of subproblems, so proof search for the main goal statement can be given a computational meaning.

Logic programming is a special case of declarative programming, since the programmer specifies only the set of formulas, and it’s up to the compiler to decide how to organize the process of computations.