标签: prolog swi-prolog
在Swi-Prolog中,我可以在time/1中附上一个目标,看看目标需要多少CPU时间。
time/1
如何正确使用statistics/2来查看目标需要多少RAM?
statistics/2
答案 0 :(得分:4)
有趣的是,你不能。
有关详细信息,请参阅此问题:
https://github.com/SWI-Prolog/swipl-devel/issues/290
如果您需要此功能,请参与此讨论并概述您的用例。它可能有助于正确实现此功能,或确保提供满足您需要的替代方案。