シーケンスの解析を含むプログラム。通信プロトコルとか、
スケジューリングなど。
バックトラックがどうのというよりも、表現力が凄い。