Bahasa Prolog dibangun atas dasar pemrograman alamiah dan logika. Untuk itulah lahir nama Prolog, yakni singkatan dari programming in Logic.
Prolog juga meruapakan bahasa deklaratif, maksudnya, jika kita memberikan fakta dan aturan, maka Prolog akan menyelesaikan problem secara deduktif, atau dari sekian banyaknya aturan dan fakta kemudian diturunkan kesimpulan sebagai jawaban, pemrograman Prolog hanya memerlukan fakta dan aturan atas masalah yang ingin diselesaikan dan Prolog dibiarkan untuk menentukan sendiri bagaimana mencari jawaban. Berbeda halnya dengan bahasa prosedural (Pascal atau Fotran misalnya), pemograman harus memberi perintah untuk memecahkan persoalan, langkah demi langkah, dengan kata lain, pemogram harus terlebih dahulu tahu bagaimana memecahkan masalah itu.
