Logic programming (LP)    (3W0N)

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.    (3W0O)

see: https://en.wikipedia.org/wiki/Logic_programming    (3W0P)