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