Logic programming (LP)

Logic programming is a paradigm where computation arises from proof search in a logic according to a fixed, predictable strategy. It thereby unifies logical specification and implementation in a way that is quite different from the other 3 main programming paradigms (functional, imperative, or object oriented programming). Its theory of computation is based on first order logic.