SWI-Prolog交互式查询拦截与日志记录技术问询

1. 更直接的拦截方式：保留变量名与原始输入字符串 #

有更直接的方案——自定义顶层查询循环，绕过默认解释器逻辑，直接捕获用户输入的原始字符串和变量名绑定。

SWI-Prolog的交互式会话默认由prolog/0驱动，你可以重载这个谓词，结合read_line_to_string/2读取原始输入，再用term_string/3解析时带上variable_names(VarNames)选项，就能同时拿到原始查询文本和用户定义的变量名。示例代码：

% 存储原始查询的动态谓词
:- dynamic logged_query/2.

% 重载默认的顶层循环
prolog :-
    repeat,
        % 输出默认提示符（如 ?- ）
        prompt1(Prompt), write(Prompt),
        % 读取用户输入的完整行
        read_line_to_string(current_input, RawQuery),
        (RawQuery = '' ->  % 空输入退出循环
            !, true
        ;
            % 解析查询，同时获取变量名与变量的绑定
            term_string(Goal, RawQuery, [variable_names(VarNames)]),
            % 执行你的日志/额外处理逻辑
            assertz(logged_query(RawQuery, VarNames)),
            format('已记录查询: ~s | 变量绑定: ~w~n', [RawQuery, VarNames]),
            % 执行用户查询
            call(Goal),
            fail  % 失败后回到循环，处理下一个查询
        ).

这种方式完全绕过编译期的目标扩展，能100%保留用户输入的原始字符串和变量名，比goal_expansion更直接精准。

2. 基于goal_expansion方案的健壮性与注意事项 #

健壮性分析 #

goal_expansion是全局编译期钩子，会处理所有被编译的目标——包括顶层查询、自定义谓词内部的子目标、动态加载的代码等，因此无法可靠区分交互式查询和其他内部目标，这是它最大的局限性：

• 无法保留原始变量名：编译期变量会被标准化为_G123这类内部名称，用户输入的X、Y会丢失。
• 误触发日志：比如自定义谓词里的foo(X) :- bar(X).，bar(X)会被goal_expansion处理，导致日志记录非交互式的内部目标。
• 无法捕获完整查询：用户输入复合目标（如a(X), b(Y)）时，goal_expansion会分别处理每个子目标，没法拿到完整的原始查询文本。

需注意的场景 #

如果一定要继续使用goal_expansion，需要规避这些问题：

• 区分顶层查询上下文：可以通过prolog_load_context/2检查编译上下文，比如判断source(user_input)和module(user)，但这种方式不是绝对可靠（部分动态代码也可能来自user_input）。示例：

  goal_expansion(Goal, WrappedGoal) :-
      prolog_load_context(source, user_input),
      prolog_load_context(module, user),
      % 包装目标，添加日志逻辑
      WrappedGoal = (format('日志: ~w~n', [Goal]), call(Goal)).
  

• 排除内部/系统谓词：对不需要日志的系统谓词（如halt/0、consult/1）或内部子目标，需在goal_expansion中添加判断逻辑跳过处理。
• 处理元谓词：元谓词（如call/1、forall/2）的参数会被goal_expansion递归处理，导致重复日志，需要专门排除或处理这类情况。
• 动态代码的干扰：用户输入assertz(foo(X) :- baz(X))时，baz(X)会被goal_expansion处理，这通常不是预期的日志内容，需要识别并跳过这类内部子目标。

内容的提问来源于stack exchange，提问作者gernot