\x で始まり \ で終えます。末尾があることに注意。例：バックスペース（0x08）を出力しています。 $ gprolog | ?- format("~s\x08\~s~n", ["ABc", "CDE"]). ABCDE