Мне нужно экспортировать в файл программу Prolog, выраженную с использованием произвольного представления термина в Java. Идея состоит в том, что интерпретатор Пролога должен иметь возможность впоследствии обращаться к сгенерированному файлу. Мой вопрос касается правильного способа записи в файл Java Strings, представляющих атомные термины.
Например, если строка имеет пробел посередине, она должна быть заключена в одинарные кавычки в файле:
hello world становится "hello world"
И экспортер должен учитывать символы, которые следует экранировать:
' становится ' \ ''
Может ли кто-нибудь указать мне место, где указаны эти правила? И: Могу ли я предположить, что эти правила соблюдаются основными разработчиками Prolog? (Я имею в виду, что программа на Прологе, созданная в соответствии с этими правилами, будет правильно проанализирована большинством интерпретаторов Пролога?).