命令行历史

SWI-Prolog 提供一种查询替换机制,类似 Unix shell 中常见的历史替换。该功能是否可用由 set_prolog_flag/2 控制,使用 Prolog 标志 history。默认情况下,如果没有可用的交互式命令行编辑器,历史功能会启用。若要启用历史功能,并记住最近 50 条命令,可以把下面的内容放入启动文件:

:- set_prolog_flag(history, 50).

历史系统允许用户根据之前输入并被系统记住的查询组合出新的查询。可用的历史命令如下。若这些序列出现在带引号的原子或字符串中,则不会进行历史展开。

命令说明
!!.重复上一条查询
!nr.重复编号为 <nr> 的查询
!str.重复最近一条以 <str> 开头的查询
h.显示命令历史
!h.显示这份历史命令列表