Prolog е език за програмиране от високо ниво различен от традиционните компилатори като C, Pascal и др. За разлика от тях където директно се описва решението на проблема, в Пролог се описва проблема и се оставя задачата на компилатора сам да намери неговото решение.