prolog - 将 Eclipse CLP 中的代码转换为 CHR 的通用方法

Question

我的问题有点笼统，但我的具体问题的答案可能会很有帮助。一般问题是“是否有任何通用方法可以将 Eclipse CLP prolog 中的代码传输到约束处理规则 (CHR) 代码？”。我知道 CHR 代码无论如何都会被编译为序言代码。

具体问题是“是否有任何算法或任何正式规则可以将Eclipse CLP 中的 N-Queens示例代码转换为 CHR 代码？”。