目标使用了多少内存?

时间:2018-05-09 10:20:23

标签: prolog swi-prolog

在Swi-Prolog中,我可以在time/1中附上一个目标,看看目标需要多少CPU时间。

如何正确使用statistics/2来查看目标需要多少RAM?

1 个答案:

答案 0 :(得分:4)

有趣的是,你不能

有关详细信息,请参阅此问题:

https://github.com/SWI-Prolog/swipl-devel/issues/290

如果您需要此功能,请参与此讨论并概述您的用例。它可能有助于正确实现此功能,或确保提供满足您需要的替代方案。