← ↑

制約システムの問題点

→

---

• 適用範囲が狭い (PDAに役にたつか??)
• 制約が複雑なとき解くのに時間がかかる
  対話的に使えない場合がある
• 簡単な制約しか解くことができない