Pemrograman Deklaratif dengan Visual Prolog Disertai Contoh Aplikasi Sistem Pakar (Graha Ilmu, 2009)