time(Goal) behaves as call/1 (i.e., executes Goal) and prints information about the execution such as time used, number of logical inferences and the number of atoms generated.