В Swi-Prolog я могу заключить цель в time/1, чтобы узнать, сколько процессорного времени занимает цель.
time/1
Как правильно использовать statistics/2, чтобы увидеть, сколько оперативной памяти занимает цель?
statistics/2
Интересно, вы не можете .
Для получения дополнительной информации, пожалуйста, смотрите эту проблему:
https://github.com/SWI-Prolog/swipl-devel/issues/290
Если вам нужна эта функциональность, пожалуйста, примите участие в этом обсуждении и изложите свой вариант использования. Это может помочь правильно реализовать эту функцию или обеспечить доступность альтернативы, которая делает то, что вам нужно.