What is an example of a declarative programming language?

Đáp án đúng: "Prolog". Mô thức khai báo dựa trên logic vị từ: người lập trình nêu các sự kiện và luật suy diễn, còn máy tự tìm cách trả lời truy vấn thay vì được chỉ dẫn từng bước, và Prolog là ngôn ngữ tiêu biểu của mô thức này. "SQL" cũng mang tinh thần khai báo vì ta mô tả kết quả muốn có chứ không mô tả cách lấy, nhưng nó là ngôn ngữ truy vấn chuyên dụng cho cơ sở dữ liệu, không phải ngôn ngữ lập trình đa dụng được xếp vào bảng bốn mô thức, nên trong cách phân loại này nó không được chọn. "Python" là ngôn ngữ mệnh lệnh đa mô thức, chủ yếu thủ tục và hướng đối tượng, chương trình là dãy lệnh làm thay đổi trạng thái. "Java" là ngôn ngữ hướng đối tượng thuần mệnh lệnh, mọi việc đều phải viết rõ từng bước trong thân phương thức.