CSI 501 - LOGIC AND INFERENCE SYSTEMS APRIL 1993 - PPSKOM, Pusat Pengajian Sains Komputer (1993)