2
我正在尋找一種使用swi-prolog以秒爲單位獲取謂詞的時間執行的方法。我發現time(X)誰給我帶來了這些信息和更多，但我所需要的僅僅是幾秒鐘的時間，我希望在運行謂詞後寫出。以秒爲單位獲取謂詞執行時間
有一種方法可以做到這一點？
A
回答
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。
相關問題
- 1. 以小時，分鐘，秒鐘（以秒爲單位）獲取時間
- 2. 獲取Unix時間戳（以秒爲單位）進行hg提交
- 3. 使用SPARQL獲取當前時間（以秒/毫秒爲單位）？
- 4. 如何計算以毫秒爲單位執行時間
- 5. 以秒爲單位的打印執行時間功能？
- 6. 以分鐘和秒爲單位測量執行時間
- 7. 以毫秒爲單位獲取Dateobject時間戳
- 8. 以毫秒爲單位獲取當前時間Cocos2d
- 9. 以毫秒爲單位獲取ViewPager視圖的時間
- 10. Laravel獲取created_at以毫秒爲單位的時間戳
- 11. C++獲取系統時間，以秒數爲單位
- 12. 以秒爲單位獲取當前日期/時間
- 13. Linux命令獲取以毫秒爲單位的時間
- 14. 如何以毫秒爲單位獲取NSEvent時間戳？
- 15. 獲取C中的當前時間（以毫秒爲單位）？
- 16. 如何在AngularJS中以毫秒爲單位獲取時間
- 17. 以秒爲單位的打印時間
- 18. 以秒爲單位計算時間差
- 19. Mongodb時間戳，以毫秒爲單位
- 20. 時間以毫秒爲單位計算
- 21. 花費時間以毫秒爲單位
- 22. 如何以毫秒或納秒爲單位在C++中獲取時間
- 23. 以這種形式獲得以秒爲單位的時間d.ddd
- 24. SQLITE：以毫秒爲單位獲取當前時間並適合32位int
- 25. 以秒獲取時間
- 26. java將時間戳以秒爲單位轉換爲以毫秒爲單位的時間戳
- 27. 如何在從SQL Server檢索時以毫秒爲單位獲取時間戳？
- 28. Android獲取當前日期（時間爲0：00：000），以毫秒爲單位？
- 29. FFmpeg C++如何獲取時間戳，以秒爲單位，因爲在
- 30. 如何獲得以毫秒爲單位的時間？
查看'統計/ 2'：測量調用目標前後的時差。 – mat
嘗試'？ - profile（your_predicate）.'然後享受圖形界面... – CapelliC
'統計信息（運行時，[Start_ms，Last_ms]）'與SICStus，YAP，B，GNU的工作方式相同。 – false