Added default prolog indentation to 8 characters to match lab systems.