在emacs shell中使用Swi-Prolog

Question

有没有一种方法可以使emacs shell模式与SWI-Prolog配合使用？例如，如果我运行M-x shell，那么swipl会进入Prolog，但是如果我查询?-member(X,[1,2,3,4]).会得到X=1，但是我无法以正常方式与之交互例如我无法按空格键进行回溯。我可以键入;，然后按Enter以得到一个回溯结果，甚至可以键入;;;以得到3个结果，但是我不知道如何以常规方式与该shell交互。即查看结果，然后要求更多结果。