如何在python中存储查询返回的prolog列表？

我已经用python编写了一段代码，试图通过pyswip运行prolog查询。有一个问题：输出显示的是原子的类型和地址，而不是原子的实际值。有人能告诉我为什么会发生这种情况吗？有没有其他函数可以获取prolog列表并存储在python列表中

from pyswip import Prolog
p = Prolog()
p.retractall('tran(_,_)')
p.retractall('listtran(_,_)')
p.assertz('tran(eins,one)')
p.assertz('tran(zwei,two)')
p.assertz('tran(drei,three)')
p.assertz('tran(vier,four)')
p.assertz('tran(fuenf,five)')
p.assertz('tran(sechs,six)')
p.assertz('tran(sieben,seven)')
p.assertz('tran(acht,eight)')
p.assertz('tran(neun,nine)')    
p.assertz('listtran([],[])')
p.assertz('listtran([X|Tx],[Y|Ty]) :- tran(X,Y) , listtran(Tx,Ty)')

Val = list(p.query('listtran([eins,zwei,drei,vier],Z)'))
print(Val)

输出：-

[{'Z': [Atom('468997'), Atom('469381'), Atom('469765'), Atom('470149')]}]

{'X': 'one', 'Y': 'two', 'Z': 'three'}

---

嗯，我发现这个问题是在这里提出的，但我无法得到解决方案。

替代解决方案对我有效，但仍然无法阅读序言列表

from pyswip import Prolog
p = Prolog()
p.retractall('tran(_,_)')
p.retractall('listtran(_,_)')
p.assertz("tran(eins,one)")
p.assertz('tran(zwei,two)')
p.assertz('tran(drei,three)')
p.assertz('tran(vier,four)')
p.assertz('tran(fuenf,five)')
p.assertz('tran(sechs,six)')
p.assertz('tran(sieben,seven)')
p.assertz('tran(acht,eight)')
p.assertz('tran(neun,nine)')    
p.assertz('listtran([],[])')
p.assertz('listtran([X|Tx],[Y|Ty]) :- tran(X,Y) , listtran(Tx,Ty)')

for soln in p.query('listtran([eins,zwei,drei],[X,Y,Z])'):
    print(soln)

输出：-

[{'Z': [Atom('468997'), Atom('469381'), Atom('469765'), Atom('470149')]}]

{'X': 'one', 'Y': 'two', 'Z': 'three'}

---

替代解决方案对我有效，但仍然无法读取序言列表

from pyswip import Prolog
p = Prolog()
p.retractall('tran(_,_)')
p.retractall('listtran(_,_)')
p.assertz("tran(eins,one)")
p.assertz('tran(zwei,two)')
p.assertz('tran(drei,three)')
p.assertz('tran(vier,four)')
p.assertz('tran(fuenf,five)')
p.assertz('tran(sechs,six)')
p.assertz('tran(sieben,seven)')
p.assertz('tran(acht,eight)')
p.assertz('tran(neun,nine)')    
p.assertz('listtran([],[])')
p.assertz('listtran([X|Tx],[Y|Ty]) :- tran(X,Y) , listtran(Tx,Ty)')

for soln in p.query('listtran([eins,zwei,drei],[X,Y,Z])'):
    print(soln)

输出：-

[{'Z': [Atom('468997'), Atom('469381'), Atom('469765'), Atom('470149')]}]

{'X': 'one', 'Y': 'two', 'Z': 'three'}