核心问题出在时间重叠判断逻辑错误、持久化模块使用不当以及不必要的剪枝操作这几个地方，导致冲突检测失效，重复预约被插入。

问题拆解 #

1. 时间重叠判断逻辑不对
   原来的is_between/4用between/3检查单个时间点是否在区间内，完全覆盖不了时间段重叠的场景——比如新预约完全包含已有预约，或者反过来，这种情况原逻辑根本检测不到冲突。正确的时间段重叠判断应该是两个区间存在交集：新预约的开始时间早于已有预约的结束时间，且新预约的结束时间晚于已有预约的开始时间。

2. 持久化模块用错了
   你引入了library(persistency)做持久化，但：

• appointment_logs.pl里用普通的assert(appointment(...))，没用到持久化模块生成的断言方法，导致初始数据没被正确加载到持久化存储里，冲突检测时读不到已有预约。
• 代码里重复定义了dynamic(appointment/4)，但persistent已经隐含了动态属性，这会造成逻辑混淆。

3. findall里的剪枝拖后腿
   find_occurences里的!会在找到第一个匹配的预约后直接终止回溯，不仅只能收集到第一个冲突条目，还可能在某些场景下提前终止逻辑，导致漏判。

修复后的代码 #

1. 修正appointment_logs.pl

改用持久化模块自动生成的assert_appointment/4来添加初始数据：

assert_appointment(3, 1737207000, 1737217800, brian).
assert_appointment(12,1737379800,1737389800,brian).

2. 修正appointments.pl核心逻辑

:- module(appointments,[
    assert_appointment/4
]).
:- use_module(library(persistency)).
% 持久化定义，自动包含dynamic属性，无需手动定义
:- persistent(appointment(id:integer, timefrom:integer, timeto:integer, staff:atom)).

% 初始化连接持久化数据库
:- initialization(db_attach('appointment_logs.pl', [])).

doctor(brian).
doctor(abe).
doctor(rufus).

% 正确的时间段重叠判断：两个区间存在交集
is_overlap(NewFrom, NewTo, ExistingFrom, ExistingTo) :-
    NewFrom < ExistingTo,
    NewTo > ExistingFrom.

find_conflicts(FromTime, ToTime, Staff, Conflicts) :-
    findall(Id, (
        appointment(Id, Start, End, Staff),
        is_overlap(FromTime, ToTime, Start, End),
        doctor(Staff)
    ), Conflicts).

assert_appointment(Id, FromTime, ToTime, Staff) :-
    find_conflicts(FromTime, ToTime, Staff, Conflicts),
    Conflicts == [], % 无冲突则继续
    % 使用持久化模块的断言方法，确保数据被持久化存储
    assert_appointment(Id, FromTime, ToTime, Staff).

关键修复说明 #

• 重叠判断逻辑：用is_overlap/4替代原有的is_between/4，准确覆盖所有时间段重叠场景（部分重叠、完全包含等）。
• 持久化规范使用：删除手动的dynamic定义，初始数据用持久化模块的断言方法，确保数据能被正确读取和存储。
• 移除错误剪枝：去掉findall子句中的!，保证能收集到所有冲突的预约条目。
• 简化条件：直接用Conflicts == []判断无冲突，比先取长度再判断更简洁符合Prolog风格。

内容的提问来源于stack exchange，提问作者A H Bensiali