如何测试Prolog程序的性能?

Ahm*_*saf 3 testing performance prolog

有没有办法对几个Prolog程序进行基准测试?我正在使用SWI-Prolog,它没有显示执行查询所花费的时间!!

mat*_*mat 8

怎么样time/1?在SWI-Prolog中,尝试:

?- time(your_goal).
Run Code Online (Sandbox Code Playgroud)

?- profile(your_goal).
Run Code Online (Sandbox Code Playgroud)