การแก้ปัญหาแบบลำดับ แบบวนซ้ำ และแบบมีเงื่อนไข: การใช้เหตุผลเชิงตรรกะในการแก้ปัญหาอย่างมีประสิทธิภาพ