私は、プロローグで芸術的な目的のために、CHR ルールの大規模なセットに大きく依存するプログラムを書いています。何度も実行できるようにしたいのですが、毎回異なる出力を生成します。これを行う最も簡単な方法は、毎回制約を非決定論的に並べ替えることです。
たとえば、詩の形式の場合、ABAB または ABAC 形式が必要になる場合があります。次に書きたいと思います：
stanza <=> verse(A,0), verse(B,1), verse(A,2), verse(B,3)
stanza <=> verse(A,0), verse(B,1), verse(A,2), verse(C,3)
stanzaが提示されたときに最初のルールが時々起動し、2 番目のルールが時々起動するようにしたいと思います。CHRでそれをどのように達成できますか?