Logik dan penggunaannya untuk sistem komputer - Nguyen, Huu Bong. (Pulau Pinang : Universiti Sains Malaysia, 1987)
Keywords: Logic programming; Logic