Получить время выполнения предиката в секундах

Question

Я ищу способ получить время выполнения предиката в секундах, используя swi-пролог. Я нашел time(X) который приносит мне эту информацию и многое другое, но мне нужно только время в секундах, которое я хотел бы написать после запуска предиката.

Есть способ сделать это?

Answer 1

Чтобы получить истекшее время выполнения при выполнении указанной цели, вы можете использовать call_time/2:

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

Быть в курсе, что T_ms измеряет миллисекунды, а не секунды!

Чтобы добраться до секунд, используйте дополнительную цель, такую ​​как T is T_ms * 0.001,

Для списка конкретных применений call_time/2 посмотрите на эти результаты поиска.