Prolog
Untuk makna prolog yang merujuk kepada bagian awal sebuah cerita, lihat prolog (sastra).

Prolog adalah bahasa pemrograman logika atau di sebut juga sebagai bahasa non-procedural. Namanya diambil dari bahasa Prancis programmation en logique (pemrograman logika). Bahasa ini diciptakan oleh Alain Colmerauer dan Robert Kowalski sekitar tahun 1972 dalam upaya untuk menciptakan suatu bahasa pemrograman yang memungkinkan pernyataan logika alih-alih rangkaian perintah untuk dijalankan komputer.
 
Berbeda dengan bahasa pemrograman yang lain, yang menggunakan algoritme konvensional sebagai teknik pencariannya seperti pada Delphi, Pascal, BASIC, COBOL dan bahasa pemrograman yang sejenisnya, maka prolog menggunakan teknik pencarian yang di sebut heuristik (heutistic) dengan menggunakan pohon logika.

Pranala luar 
  Learn Prolog Now!
  Fundamental Prolog Tutorial 
  Prolog Tutorial 
  Visual Prolog Tutorial 
  Runnable examples
  Visual Prolog Examples 
  Prolog Development Center

Bahasa pemrograman