Pengaturcaraan logik - Wan Ishak, Wan Hussain; Md Norwawi, Norita; Yusoff, Nooraini; Sainin, Mohd Shamrie (Petaling Jaya, 2007)