如何解决CHR：管理“约束存储”
有没有办法在 CHR 中管理约束存储？ 我在想什么？
假设我做一个查询。我想要结果集，留出（可能与用户具有不同的范围：）以供重用或作为不同运行的开始，或仅用于检查。
另一件事是，如果您得到成百上千的结果，您会怎么做。你不能真正在屏幕上管理它们。您如何调试这些场景？
有没有办法 assert() 结果或部分结果作为 Prolog 事实？
==========
我想出的一种方法是添加 prolog 子句来断言你想要的任何东西，但仍然不存储 CStore ;(
dup(X,Y) :- assertz(via(X,Y)).
...head.. <=> ...body...,dup(X,Y).
不是很方便，但至少有些东西......
版权声明：本文内容由互联网用户自发贡献，该文观点与技术仅代表作者本人。本站仅提供信息存储空间服务，不拥有所有权，不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容， 请发送邮件至 dio@foxmail.com 举报，一经查实，本站将立刻删除。
