Pemrograman Deklartif

Pemrograman Deklaratif menggunakan paradigma bahwa dalam membuat program dimana pastinya terdapat masalah yang kompleks , sehingga membuat pemrograman ini mendeskripsikan suatu masalah tersebut dengan deklarasi fakta dan aturan. Berdasarkan fakta dan aturan yang disimpan dalam program, pemakai dapat melakukan query untuk mendapatkan jawaban yang merupakan komputasi dari program logik tersebut.Tentunya hal ini berbeda dengan cara menyelesaikan masalah dengan implementasi algoritma yang lebih spesifik dan detail dalam menjelaskan dan menyelesaikan permasalahan yang terdapat di program. Contoh bahasa pemrograman-nya antara lain : Prolog