Pemrograman Deklaratif dengan Visual Prolog (disertai Contoh Aplikasi Sistem Pakar - Febri Nova Lenti (Graha ilmu, 2009)