Pretty printing for prolog