หน่วยที่ 2 :: การพัฒนาโปรแแกรมด้วยเหตุผลเชิงตรรกะ