問題タブ [constraint-handling-rules]
For questions regarding programming in ECMAScript (JavaScript/JS) and its various dialects/implementations (excluding ActionScript). Note JavaScript is NOT the same as Java! Please include all relevant tags on your question; e.g., [node.js], [jquery], [json], [reactjs], [angular], [ember.js], [vue.js], [typescript], [svelte], etc.
prolog - プロローグで実行時にCHRルールを並べ替える方法はありますか?
私は、プロローグで芸術的な目的のために、CHR ルールの大規模なセットに大きく依存するプログラムを書いています。何度も実行できるようにしたいのですが、毎回異なる出力を生成します。これを行う最も簡単な方法は、毎回制約を非決定論的に並べ替えることです。
たとえば、詩の形式の場合、ABAB または ABAC 形式が必要になる場合があります。次に書きたいと思います:
stanza
が提示されたときに最初のルールが時々起動し、2 番目のルールが時々起動するようにしたいと思います。CHRでそれをどのように達成できますか?