Declarative Paradigm

• Program is the description of the solution rather than algorithm to use.

• Specify what must be obtained rather than how obtain it.

• Concise and understable programs

• The first order predicate logic is a declarative formalism well understood and powerful enough to describe many real world problems