swi-prolog использует список из списка из списка ... для представления дерева XML.Я пытался
write(Term)
, он не имеет хорошего отступа, и
format(Term)
, он не поддерживает список, и
pretty_print
, кажется, это не такдля списка, и это определено в библиотеке дерева рб.