我正在寻找一种方法，使用swi-prolog在几秒钟内获得谓词的执行时间。我发现time(X)给我带来了这些信息以及更多信息，但我需要的只是几秒钟的时间，我想在运行谓词后写一下。
有办法做到这一点吗？
答案 0 :(得分：2)
要在执行指定目标时获取已运行的运行时间，可以使用call_time/2：
?- call_time(true,T_ms).
T_ms = 0.
请注意T_ms测量毫秒，而不是秒！
要使用秒，请使用T is T_ms * 0.001等其他目标。
有关call_time/2的具体用途列表，请查看these search results。