How to test the performance of a Prolog program?

Question

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!!

Answer 1

In GNU-Prolog time predicate can be taken from Prolog Compatibility Layers.

Referring to David Reitter's GNU Prolog compatibility layer :

%time
time(Goal) :-
    cpu_time(CPU),
    Goal,
    cpu_time(CPU2),
    CPUT is CPU2-CPU,
    write('time: '), write(CPUT), write('ms.\n').

time(Text, Goal) :-
    cpu_time(CPU),
    Goal,
    cpu_time(CPU2),
    CPUT is CPU2-CPU,
    write(Text), write(': '), write(CPUT), write('ms.\n').