Prolog 将Eclipse CLP中的代码转换为CHR的通用方法
我的问题有点笼统，但具体问题的答案可能会非常有用。一般问题是“是否有任何通用方法将Eclipse CLP prolog中的代码转换为约束处理规则（CHR）代码？”。我知道CHR代码将被编译成prolog代码 具体的问题是“EclipseCLP到CHR代码中的N-Queen是否有任何算法或任何形式规则可以传输？”Prolog 将Eclipse CLP中的代码转换为CHR的通用方法,prolog,eclipse-clp,constraint-handling-rules,Prolog,Eclipse Clp,Constraint Handling Rules,我的问题有点笼统，但具体问题的答案可能会非常有用。一般问题是“是否有任何通用方法将Eclipse CLP prolog中的代码转换为约束处理规则（CHR）代码？”。我知道CHR代码将被编译成prolog代码 具体的问题是“EclipseCLP到CHR代码中的N-Queen是否有任何算法或任何形式规则可以传输？”