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.

Programming languages that support this paradigm: