Declarative language là gì?

Ngôn ngữ khai báo (declarative language) còn được gọi là nonprocedural language hoặc very high level language, là ngôn ngữ lập trình (programming language) trong đó (lý tưởng là) một chương trình chỉ định NHỮNG GÌ sẽ được thực hiện hơn là CÁCH thực hiện. Trong các ngôn ngữ như vậy, có ít sự khác biệt hơn giữa đặc tả (specification) của một chương trình và việc triển khai (implementation) chương trình đó so với các ngôn ngữ thủ tục (procedural language). Hai loại ngôn ngữ khai báo phổ biến là ngôn ngữ lập trình logic (logic programming language) và ngôn ngữ hàm (functional language).