Prolog能否检测未存在事实？新手动态知识库构建咨询

当然可行！作为Prolog初学者，你完全可以实现这种基于selected(..)事实存在性的验证逻辑，核心是用到Prolog的动态事实特性——毕竟默认情况下Prolog的知识库是静态的，没法在运行时随意添加新事实，而动态事实正好能解决这个需求。

1. 声明动态事实 #

首先要告诉Prolog，selected/1是一个允许在运行时修改的谓词，需要用dynamic/1指令声明：

:- dynamic selected/1.

这一步是基础，没有它的话，后续尝试添加新事实会直接报错。

2. 编写存在性验证逻辑 #

你可以通过两种方式检查selected(..)事实是否存在：

• 直接匹配查询：如果selected(X)能成功匹配到知识库中的事实，说明该事实存在；
• 用否定操作符\+：\+ selected(veggies)表示“不存在selected(veggies)这个事实”。

举个实用的验证谓词例子：

validate_veggie_selection :-
    selected(veggies),
    write('✅ Veggies have been selected!'), nl.
validate_veggie_selection :-
    \+ selected(veggies),
    write('❌ Veggies are NOT selected yet!'), nl.

3. 动态添加/删除事实 #

运行时可以用assert/1指令添加新事实，比如：

?- assert(selected(veggies)).

执行这条命令后，知识库就会新增selected(veggies)事实，之后再调用validate_veggie_selection就会触发第一个分支的结果。

如果需要移除已添加的事实，还可以用retract/1指令：

?- retract(selected(veggies)).

执行后，知识库就会回到初始无该事实的状态。

完整可运行示例 #

:- dynamic selected/1.

% 验证逻辑
validate_veggie_selection :-
    selected(veggies),
    write('✅ Veggies have been selected!'), nl.
validate_veggie_selection :-
    \+ selected(veggies),
    write('❌ Veggies are NOT selected yet!'), nl.

% 测试流程参考：
% 1. 初始状态下调用 validate_veggie_selection，会提示未选中
% 2. 执行 assert(selected(veggies)) 添加事实
% 3. 再次调用 validate_veggie_selection，会提示已选中
% 4. 执行 retract(selected(veggies)) 删除事实，回到初始状态

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