Prolog 获取谓词执行时间（秒）

我正在寻找一种使用swi prolog以秒为单位获取谓词执行时间的方法。我找到了时间（X），它给我带来了这些信息和更多信息，但我需要的只是以秒为单位的时间，在运行谓词之后我想写什么

---

有一种方法可以做到这一点？

在执行指定目标时通过运行时间，您可以使用：

请注意，

T_ms

测量的是毫秒，而不是秒

要获得秒数，请使用额外的目标，如

T is T_ms*0.001

---

要查看

调用时间/2

的具体用法列表，请查看。

查看

统计信息/2

：测量调用目标前后的时间差。尝试

？-profile（您的\u谓词）。

然后享受图形界面…

统计信息（运行时，[Start\ms，Last\ms]）

的工作方式与在SICStus，YAP，B，GNU。

?- call_time(true,T_ms).
T_ms = 0.