如何让Prolog中proven_true(X)为真时X本身也为真？

方案1：动态断言事实 #

当proven_true(X)验证通过时，将X作为动态事实断言到知识库中，后续查询X即可直接命中。

实现代码 #

% 声明所有可能的谓词为动态（或依赖Prolog自动创建动态谓词）
:- dynamic/1.

proven_true(X) :-
    % 你的验证条件
    condition_1(X),
    condition_2(X),
    % 检查X是否已存在，避免重复断言
    (call(X) -> true ; assertz(X)).

% 示例条件
condition_1(dog(fido)).
condition_2(dog(fido)).

使用说明 #

调用proven_true(dog(X))后，dog(fido)会被断言为事实，之后查询dog(X)会直接返回X = fido，规则barks(X) :- dog(X).也能正常工作。

注意：这种方式是一次性断言，后续如果condition_1或condition_2发生变化，已断言的事实不会自动更新，需要手动用retract(X)删除旧事实后重新验证。

方案2：利用目标扩展（Goal Expansion）自动触发验证 #

通过Prolog的元编程特性goal_expansion，让所有查询目标自动尝试proven_true验证，无需提前断言事实，实时反映条件变化。

实现代码 #

% 声明目标扩展钩子为多文件谓词，允许自定义扩展
:- multifile user:goal_expansion/2.

% 扩展目标G：当G本身无法满足时，尝试proven_true(G)
user:goal_expansion(G, (G ; proven_true(G))) :-
    % 排除特殊结构，避免递归扩展或干扰内置谓词
    \+ is_list(G),
    \+ compound_name_arity(G, (:)/2),
    \+ compound_name_arity(G, (;)/2),
    \+ compound_name_arity(G, (,)/2),
    \+ compound_name_arity(G, proven_true/1). % 避免扩展proven_true自身

% 你的验证规则
proven_true(X) :-
    condition_1(X),
    condition_2(X).

% 示例条件
condition_1(dog(fido)).
condition_2(dog(fido)).

% 示例业务规则
barks(X) :- dog(X).

使用说明 #

直接查询dog(X)时，Prolog会自动将目标扩展为dog(X) ; proven_true(dog(X))：

1. 先检查是否已有dog(X)的事实或规则；
2. 如果没有，自动调用proven_true(dog(X))进行验证，验证通过则目标成功。

此时barks(X)规则无需修改，直接通过dog(X)即可利用proven_true的验证结果。

优点：无需手动触发验证，实时响应条件变化；缺点：每次查询都会触发验证，存在一定性能开销，需注意排除不需要扩展的目标。

为什么直接写X :- proven_true(X)无效？ #

Prolog的规则头必须是固定的谓词结构（如dog(X)），不能是变量X——因为Prolog无法提前知道X对应的谓词名称和元数，无法编译这条规则。上述两种方案通过元编程或动态断言绕过了这个限制。

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