Pengertian Prolog: Bahasa Pemrograman Logika untuk Solusi Permasalahan