Общий метод для переноса кода в Eclipse CLP в CHR

Мой вопрос немного общий, но ответ на мой конкретный вопрос может быть очень полезным. Общий вопрос: "Существует ли какой-либо общий метод для передачи кода в прологе Eclipse CLP в код правил обработки ограничений (CHR)?". Я знаю, что код CHR все равно будет скомпилирован в код пролога.

Конкретный вопрос: "Существует ли какой-либо алгоритм или какие-либо формальные правила для переноса этого примера кода для N-Queens в Eclipse CLP в код CHR?".