Deklarativa programifo
Deklarativa programifo esas paradigmo di programifado olqua ne esas nature imperativa. Kontre l'imperativa, qua per serio di komandi indikas quale facar, la deklarativa indikas finala skopo por gani.

Es du sorti di deklarativa programifi:
 deskriptala (questionala programifo quale SQL e xBase)
 programebla (programifi funcionala e logikala quale: OCaml, XSLT e Prolog)