unix中的典型工作流程是使用一个过滤器管道,最后是一个寻呼机,例如less。例如。 (省略参数)
grep | sed | awk | less
现在,swi-prolog命令行中的一个典型工作流程是要求它为给定的连接提供一组解决方案,如
foo(X),bar(X, Y),qux(buz, Y).
它很容易给我一套灵魂。这可能比终端窗口长得多。或单个查询
give_me_long_list(X).
可以再次给出很长的列表,不适合屏幕。因此,我经常发现自己处于需要在行尾打了|less
的情况。
我正在寻找的是在寻呼机中打开一套解决方案或仅仅是一个大型术语的工具。类似于:
give_me_long_list(X), pager(X).
或
pager([X,Y], (foo(X),bar(X, Y),qux(buz, Y))).