Một ngôn ngữ lập trình khai báo (declarative programming language) là một ngôn ngữ lập trình mà người lập trình không cần phải chỉ ra từng bước thực hiện để đạt được kết quả mong muốn. Thay vào đó, người lập trình sẽ chỉ cần khai báo những điều cần được thực hiện và ngôn ngữ lập trình sẽ tự động thực hiện chúng. Prolog là một ví dụ về ngôn ngữ lập trình khai báo. Nó được sử dụng rộng rãi trong lĩnh vực trí tuệ nhân tạo và xử lý ngôn ngữ tự nhiên. Prolog cho phép người lập trình khai báo các quy tắc và các dữ liệu, sau đó ngôn ngữ lập trình sẽ tự động tìm kiếm các quy tắc và dữ liệu phù hợp để đạt được kết quả mong muốn. Điều này giúp cho việc lập trình trở nên dễ dàng và hiệu quả hơn.
