Pengaturcaraan Logik - Wan Hussain Wan Ishak (Prentice-Hall, 2007)