私の質問は少し一般的ですが、私の特定の質問への回答は非常に役立つ可能性があります. 一般的な質問は、「Eclipse CLP プロローグのコードを制約処理規則 (CHR) コードに転送する一般的な方法はありますか?」です。いずれにせよ、CHR コードがプロローグ コードにコンパイルされることはわかっています。
具体的な質問は、「Eclipse CLP の N-Queens のこのサンプル コードを CHR コードに転送するためのアルゴリズムまたは正式な規則はありますか?」です。
私の質問は少し一般的ですが、私の特定の質問への回答は非常に役立つ可能性があります. 一般的な質問は、「Eclipse CLP プロローグのコードを制約処理規則 (CHR) コードに転送する一般的な方法はありますか?」です。いずれにせよ、CHR コードがプロローグ コードにコンパイルされることはわかっています。
具体的な質問は、「Eclipse CLP の N-Queens のこのサンプル コードを CHR コードに転送するためのアルゴリズムまたは正式な規則はありますか?」です。