eclipse-clp - 如何编写查询以测试在 ECLiPSe-CLP 中使用 eplex Lib 编写的以下代码
问题描述
我是 ECLiPSe 的新手,遇到以下问题。当我编写和编译这个简单的程序时:
---------------------------------
:- lib(eplex).
main1(Cost, Vars) :-
Vars = [A1, A2, A3, B1, B2, B3, C1, C2, C3, D1, D2, D3],
Vars :: 0.0..inf, % variables
A1 + A2 + A3 $= 200, % demand constraints
B1 + B2 + B3 $= 400,
C1 + C2 + C3 $= 300,
D1 + D2 + D3 $= 100,
A1 + B1 + C1 + D1 $=< 500, % capacity constraints
A2 + B2 + C2 + D2 $=< 300,
A3 + B3 + C3 + D3 $=< 400,
optimize(min( % solve
10*A1 + 7*A2 + 11*A3 +
8*B1 + 5*B2 + 10*B3 +
5*C1 + 5*C2 + 8*C3 +
9*D1 + 3*D2 + 7*D3), Cost).
------------------------------
我不知道如何测试它?或者什么是简单的测试查询?
如果你指导我,我会很高兴。提前致谢
解决方案
的两个参数main1
都是输出,因此您只需在查询中提供两个变量(大写名称),例如main1(C,Vs)
. 在查询提示(或查询输入框,如果您使用的是 tkeclipse)中输入这个,然后系统将运行代码并打印答案绑定:
[eclipse 1]: main1(C, Vs).
C = 6600.0
Vs = [100.0, 0.0, 100.0, 100.0, 300.0, 0.0, 300.0, 0.0, 0.0, 0.0, 0.0, 100.0]
Yes (0.00s cpu)
推荐阅读
- reactjs - 下载 pdf 未从 ios13 加载到新窗口
- linkedin - 我在哪里可以找到领英行业组短代码的全名?
- reactjs - MapStateToPros 在 reactJS 中返回未定义
- django - 如何在 Django 的 Context_processor 中设置菜单数据?
- c# - 将 Rotativa.ViewAsPdf 转换为 System.Mail.Attachment
- docker - Testcafe 通过 Docker 找不到测试文件
- python - Salesforce API Python - 批量获取大量数据
- swift - cell.isSelected 不能作为方面工作
- javascript - 如何在不刷新网页的情况下隐藏/取消隐藏 React 链接?
- testing - Testcafe - 在单个声明中对所有测试调用 RequestHook?