Prolog知识库演绎缩减及my_rule匹配规则创建需求

嘿，我来帮你搞定这个Prolog知识库的演绎缩减需求！核心思路是移除那些可以通过my_rule从已有前提推导出来的冗余结论事实，只保留最基础的、无法被规则推导的事实，从而实现知识库的精简。

实现思路 #

你的my_rule(Conclusion, Premise)定义了演绎规则：如果Premise为真，那么Conclusion必然为真。所以如果知识库中同时存在Premise和Conclusion的事实，Conclusion就是冗余的——因为它完全可以通过规则推导得到，不需要直接存储。我们需要自动找出所有这类冗余事实并删除，甚至处理链式规则的情况（比如A ← B，B ← C，那么A也可以通过C推导，同样需要删除A）。

完整代码实现 #

% 初始动态知识库
:- dynamic(is/2).

is(m1, house).
is(m1, thing).
is(m2, house).
is(m2, thing).
is(m3, niche).
is(m3, house).
is(m3, thing).
is(m4, car).
is(m4, mobile).
is(m4, house).
is(m4, thing).

% 定义演绎规则
my_rule(is(X, thing), is(X, house)).
my_rule(is(X, house), is(X, niche)).

% 知识库缩减入口：循环执行直到没有冗余事实可删
reduce_kb :-
    findall(Conclusion, (
        my_rule(Conclusion, Premise),
        Premise,  % 前提事实存在
        Conclusion % 结论事实存在（冗余）
    ), RedundantConclusions),
    (RedundantConclusions = [] ->
        writeln('知识库已完成缩减，无冗余事实')
    ;
        % 删除所有冗余结论事实
        maplist(retract, RedundantConclusions),
        writeln('已删除冗余事实：'),
        maplist(writeln, RedundantConclusions),
        reduce_kb % 递归处理链式规则的冗余
    ).

代码说明 #

1. 动态声明：:- dynamic(is/2).允许我们在运行时修改is/2事实，这是实现知识库修改的基础。
2. 规则匹配：findall/3会找出所有满足以下条件的Conclusion：
   • 存在my_rule(Conclusion, Premise)规则
   • 知识库中同时存在Premise和Conclusion事实
3. 冗余删除：maplist(retract, RedundantConclusions)批量删除所有冗余的结论事实。
4. 链式处理：递归调用reduce_kb，直到找不到任何冗余事实——这能处理链式规则的情况（比如先删除is(X,house)，再发现is(X,thing)现在也可以通过is(X,niche)推导，继续删除）。

测试运行示例 #

当你在Prolog解释器中运行reduce_kb.时，会得到如下输出：

已删除冗余事实：
is(m1,thing)
is(m2,thing)
is(m3,thing)
is(m4,thing)
is(m1,house)
is(m2,house)
is(m3,house)
is(m4,house)
知识库已完成缩减，无冗余事实

此时查看知识库，剩下的事实是：

is(m3, niche).
is(m4, car).
is(m4, mobile).

这些都是无法通过my_rule推导出来的最基础事实，完美实现了知识库的演绎缩减。

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