某处我看到有人使用了一个选项，这样当在SWI-Prolog中输入子句时，这些子句会以其原始变量名列出。该选项又是什么，如何将此选项设为默认选项？
再见
P.S。：以下是该选项应该提供的示例：
假设我正在进入：
?- [user].
app([], X, X).
app([X|Y], Z, [X|T]) :- app(Y, Z, T).
我想看看：
?- listing(app/3).
app([], X, X).
app([X|Y], Z, [X|T]) :-
app(Y, Z, T).
但目前它显示A，B，C等作为变量名称。