Prolog adalah salah satu bahasa pemrograman yang berkembang pesat saat ini. Bahasa ini cocok digunakan untuk menyelesaikan masalah yang berkaitan dengan objek terstruktur dan relasi (hubungan) antara objek-objek tersebut. Contohnya ialah ilustrasi di atas, kita dapat menyatakan hubungan antara tiga buah objek (X, Y dan Z) dengan mudah menggunakan Prolog. Z adalah parent (orang tua) dari X dan Y, serta X adalah sister (saudara perempuan) dari Y. Sehingga dengan kata lain, X dan Y adalah child (anak) dari Z. Lalu, bagaimana kita mengetahui hubungan antara objek-objek tersebut dalam prolog. Dalam prolog ada istilah fact (fakta), rule (aturan), goal (tujuan) dan query(pertanyaan). Dalam tulisan ini akan dijelaskan lebih dalam mengenai konsep dari keempat kata tersebut.
Prolog merupakan singkatan dari Programming in Logic. Idenya berasal dari era1970-an yang
bertujuan untuk menggunakan logic (logika) sebagai bahasa pemrograman.
