如何用dynamic/1和var/1编写Prolog子句实现指定say/1功能

嘿，我来帮你搞定这个Prolog的say/1谓词需求！下面是完整的实现代码，之后我会逐一拆解每个功能的逻辑，帮你彻底搞懂怎么满足你的要求～

:- dynamic known_fact/1.

% 定义正确的基准事实
correct_fact([the, capital, of, switzerland, is, bern]).

% 处理变量查询：say([the, capital, of, What, is, bern])
say([the, capital, of, What, is, bern]) :-
    var(What),
    !,
    What = switzerland,
    format('Got it! The capital of ~w is Bern.~n', [What]).

% 首次调用正确事实：输出'Thank you'并记录事实
say(Fact) :-
    correct_fact(Fact),
    \+ known_fact(Fact),
    !,
    assertz(known_fact(Fact)),
    write('Thank you'), nl.

% 重复调用正确事实：输出'I already know that.'
say(Fact) :-
    correct_fact(Fact),
    known_fact(Fact),
    !,
    write('I already know that.'), nl.

% 处理错误的瑞士首都陈述：输出纠错提示
say([the, capital, of, switzerland, is, WrongCapital]) :-
    WrongCapital \= bern,
    !,
    format('Sorry, the capital of Switzerland is Bern, not ~w.~n', [WrongCapital]).

1. 首次调用正确事实输出'Thank you'而非true #

这里的核心是在谓词里主动添加输出语句，同时用assertz/1把正确事实存入动态数据库。当你第一次调用say([the, capital, of, switzerland, is, bern])时：

• 会匹配第二个子句，correct_fact(Fact)验证事实正确，\+ known_fact(Fact)检查该事实还没被记录；
• 执行assertz(known_fact(Fact))把事实加到动态数据库里；
• 最后用write('Thank you'), nl输出指定文本——Prolog会先执行输出操作，再返回成功标记true，所以你会先看到Thank you，再看到true（如果你的Prolog环境默认显示成功结果的话）。

2. 重复调用正确事实输出'I already know that.' #

第三个子句专门处理已记录的正确事实：

• 当你再次调用相同的正确事实时，known_fact(Fact)会返回真，直接匹配这个子句；
• 输出提示文本后，用!截断回溯，避免程序去匹配其他无关的子句。

3. 错误语句的纠错提示 #

第四个子句专门抓瑞士首都的错误陈述：

• 通过WrongCapital \= bern筛选出所有错误的首都名称；
• 用format/2动态把错误的名称插入提示语里，输出更贴合场景的纠错内容。

4. 变量查询的正确绑定 #

第一个子句专门处理变量查询场景：

• 用var(What)确保What是未绑定的变量；
• 直接把What绑定为switzerland，同时输出确认信息；
• 把这个子句放在最前面并加!截断，避免被后面的子句错误匹配。

% 首次调用正确事实
?- say([the, capital, of, switzerland, is, bern]).
Thank you
true.

% 重复调用正确事实
?- say([the, capital, of, switzerland, is, bern]).
I already know that.
true.

% 调用错误语句
?- say([the, capital, of, switzerland, is, zurich]).
Sorry, the capital of Switzerland is Bern, not zurich.
true.

% 变量查询
?- say([the, capital, of, What, is, bern]).
Got it! The capital of switzerland is Bern.
What = switzerland.

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