การเขียนโปรแกรม
โดยใช้เหตุผลเชิงตรรกะPart-1