Prolog and time...