繁体 English 中英

不同的clp（FD）库实现的兼容性

[英]Compatibility of different clp(FD) library implementations

原文 2015-03-28 11:11:50 1 1 prolog/ compatibility/ clpfd

在clpfd实现中可以找到一些差异的地方吗？

1 个解决方案

有一类语言支持一种或多种形式的约束逻辑编程。 有时称为CLP（*）：

请参阅“基于逻辑编程的约束逻辑”部分：
https://zh.wikipedia.org/wiki/Constraint_programming#Some_languages_that_support_constraint_programming

我不确定列表中的所有语言是否也支持CLP（FD）。 维基页面也没有做比较矩阵。 但这可能是研究不同系统的开始。

CLP（FD）系统有许多有趣的方面：
-是否支持bignums：GNU否，SWI-Prolog是，Jekejeke是
-是否支持负整数：GNU否，SWI-Prolog是，Jekejeke是
-允许哪些算术表达式：tbd
-允许使用哪些设置符号：GNU受限，SWI-Prolog sup / inf，Jekejeke sup / inf
-是否支持版本化：GNU是，SWI-Prolog是，Jekejeke尚未
-支持哪些特殊约束：GNU基数，SWi-Prolog基数以及其他，Jekejeke还没有
-标签参数是什么：tbd

再见

SWI-Prolog和约束，库CLP（FD）

[英]SWI-Prolog and constraints, library CLP(FD)

使用 CLP(FD) 进行图形着色

[英]Graph Coloring with CLP(FD)

CLP（FD）的相互排他性

[英]Mutual exclusivity in CLP(FD)

CLP（FD），地图着色

[英]CLP(FD), Map Coloring

为什么 Prolog 中的 CLP(FD) 没有除法？

[英]Why no division in CLP(FD) in Prolog?

CLP（FD）中的奶奶生日拼图

[英]The Grandma Birthday Puzzle in CLP(FD)

CLP(FD) 可变域和传播

[英]CLP(FD) variable domains & propagation

SWI Prolog CLP（FD）计划

[英]SWI Prolog CLP(FD) scheduling

prolog程序中没有输出：clp（fd）太慢了

[英]No Output in prolog Program: clp(fd) too slow

优化的CLP（FD）求解器，可解决数字拼图难题

[英]Optimized CLP(FD) solver for number board puzzle

暂无

暂无

声明:本站的技术帖子网页，遵循CC BY-SA 4.0协议，如果您需要转载，请注明本站网址或者原文地址。任何问题请咨询:yoyou2525@163.com.

相关问题 SWI-Prolog和约束，库CLP（FD）使用 CLP(FD) 进行图形着色 CLP（FD）的相互排他性 CLP（FD），地图着色为什么 Prolog 中的 CLP(FD) 没有除法？ CLP（FD）中的奶奶生日拼图 CLP(FD) 可变域和传播 SWI Prolog CLP（FD）计划 prolog程序中没有输出：clp（fd）太慢了优化的CLP（FD）求解器，可解决数字拼图难题

相关标签

粤ICP备18138465号 © 2020-2024 STACKOOM.COM