问题描述
有没有办法在 CHR 中管理约束存储？ 我在想什么？
假设我做一个查询。我想要结果集，留出（可能与用户具有不同的范围：）以供重用或作为不同运行的开始，或仅用于检查。
另一件事是，如果您得到成百上千的结果，您会怎么做。你不能真正在屏幕上管理它们。您如何调试这些场景？
有没有办法 assert() 结果或部分结果作为 Prolog 事实？
==========
我想出的一种方法是添加 prolog 子句来断言你想要的任何东西，但仍然不存储 CStore ;(
dup(X,Y) :- assertz(via(X,Y)).
...head.. <=> ...body...,dup(X,Y).
不是很方便，但至少有些东西......
解决方法
暂无找到可以解决该程序问题的有效方法，小编努力寻找整理中！
如果你已经找到好的解决方法，欢迎将解决方案带上本链接一起发送给小编。
小编邮箱:dio#foxmail.com (将#修改为@）