标签： file-io prolog prolog-toplevel
如何将SWI-Prolog REPL中listing/0的输出写入文件？
listing/0
?- listing > file.txt.