Pengaturcaraan logik - Wan Ishak, Wan Hussain (Petaling Jaya, 2007)