Можно ли записать результаты времени / 1 в файл или вернуть их в виде переменной для автоматизации сравнения времени выполнения?
Или есть другой предикат, чтобы сделать это?
Решением этой проблемы является использование предиката statistics / 2.
http://www.swi -prolog.org / pldoc / man? Предикат = статистика% 2F2