clp

0热度

1回答

表示约束处理规则逻辑或

我写在序言约束求解器实现了一个简单的逻辑公式： "(alive(A) and animal(A)) iff (awake(A) or asleep(A))"。 我发现它实施约束处理规则的一种方式，但它比原来的公式更详细： :- use_module(library(chr)). :- chr_constraint is_true/1. is_true(A) \ is_true(A) <=>

prolog clp constraint-handling-rules 2017-05-08

---

0热度

1回答

如何在DB2 CLP交互式输入模式中指定文件名？

我想给exec DB2交互式输入内部script.sql（DB2 =>） 我只能开始使用DB2 krun -- db2 ，由于某种原因krun -- db2 -vf script.sql似乎并没有工作。 只有互动模式适合我。帮帮我。

db2 clp 2012-11-30

---

1热度

1回答

从Python子程序运行可执行文件的错误

我想从Python 3.5运行可执行文件（线性编程求解器CLP.exe）。 Import subprocess exeFile = " C:\\MyPath\\CLP.exe" arg1 = "C:\\Temp\\LpModel.mps" arg2 = "-max" arg3 = " -dualSimplex" arg4 = " -printi all" arg5 = "-solut

python eclipse python-3.x pydev clp 2016-08-13

---

1热度

1回答

ECLiPSe clp：获取网格上的所有相邻单元

所以我的问题是以下几点：我想，给定点X坐标，在网格中的Y坐标，以返回其所有相邻的单元格。 （注意：在下面的例子中，我使用符号UL =左上，UM =中上，UR =右上，L =左，R =右，BL =左下，上的5×5网格 _ _ _ _ _ _ UL UM UR _ _ L x R _ _ BL BM BR _ _ _ _ _ _ 对于 对于元素x在（3,3）：BM =底部中间和BR =右下

prolog eclipse-clp clp 2016-03-23

---

3热度

2回答

Contraint逻辑编程计划

我试图解决在序言中使用clp的问题。问题如下： 基本上一艘船正在运载一些集装箱，我们想卸载它们。容器被描述为谓词容器（I，N，D），其中I是容器标识符，N是卸载所需的人数，D是持续时间。示例可能如下所示： container（a，1,1）。 集装箱（b，2,2）。 集装箱（c，2,2）。 集装箱（d，3,3）。 容器也可以放在另一个的顶部，如： 上（A，C）。 （b，c）上的 。 （c，d）上的

prolog scheduling clp 2015-10-26

---