หน่วยที่ 2 : เรื่อง การเขียนโปรแกรมโดยใช้เหตุผลเชิงตรรกะ