This is related but different to
I have seen it several times: beginners' questions like How to loop through a set (not a list) of rules in prolog
It would help a lot if tabs at the beginning of a line would be interpreted as 8 spaces. That is, four spaces for the block and four spaces inside such that some indentation is visible. Currently the only way to fix it is to do a manual edit.