voi*_*oid 7 memory prolog reset clear prolog-assert
我正在.pl文件中开发一个算法,并在命令窗口中使用查询进行检查.我使用动态变量和收回/断言谓词.当我修改pl文件并单击"重新加载修改的文件"时,我有额外的事实,我不想要.
例如,在开始时我有计数器(0).
我做了一些事情,撤回并断言这个计数器,它变成了反击(7).然后,当我重新加载修改后的pl文件时,我有两个计数器(0).和柜台(7).
如何防止这种情况并且只有计数器(0).在一开始的时候？
提前致谢.
如果您只使用这些动态事实来实现计数器,那么您应该考虑这是否是最好的方法.使用assert/1并retract/1制作相当慢的代码.
你既可以使计数器变量,你在你的代码一起传递另一个谓词参数(您可能需要输入和输出之间的区别,所以有两个额外的参数),或使用全局变量(这是不合乎逻辑的功能,虽然,这有时候是禁止的.
| 归档时间： |
|
| 查看次数： |
8871 次 |
| 最近记录： |