perl, tcl/tk, shell などで制約処理ができると、 if文がずらずらならんでいるプログラムが減る ような気がする。(うそかな?)
最後にはっきり言ってしまいます。制約処理系以外の Quixote の機能には興味ありません。