Is there any way to do some benchmarking on several Prolog programs? I am using SWI-Prolog, and it doesn\'t show the time taken to execute the query!!
What about time/1? In SWI-Prolog, try:
time/1
?- time(your_goal).
and
?- profile(your_goal).