Prolog平行线推理优化：如何使BA∥CD判定结果为真？

解决这个问题的核心是消除线段方向对平行判定的影响，最优雅的方式是先对线段进行标准化处理：将任意线段转换为固定顺序的表示（比如让端点按Prolog项的字典序排列），这样seg(a,b)和seg(b,a)会被统一为同一个标准形式，无需为所有方向组合编写指数级数量的规则。

具体实现步骤 #

1. 定义线段标准化谓词：将输入线段转换为端点按字典序排列的标准线段
2. 修改平行判定谓词：先对输入的两个线段做标准化，再基于标准线段进行推理

完整代码示例 #

% 线段标准化：将seg(A,B)转换为端点按字典序排列的标准线段
standard_seg(seg(A, B), seg(X, Y)) :-
    (A @=< B -> X = A, Y = B ; X = B, Y = A).

% 对外暴露的parallel谓词：先标准化再调用内部判定
parallel(Seg1, Seg2, N) :-
    standard_seg(Seg1, StdSeg1),
    standard_seg(Seg2, StdSeg2),
    parallel_std(StdSeg1, StdSeg2, N).

% 内部平行判定规则（基于标准线段）
parallel_std(seg(A,B), seg(C,D), N) :-
    M is N - 1, M >= 0,
    parallel_std(seg(A,B), seg(E,F), M),
    parallel_std(seg(C,D), seg(E,F), M).

parallel_std(A, B, N) :-
    M is N - 1, M >= 0,
    parallel_std(A, B, M).

% 基础事实（使用标准线段形式）
parallel_std(seg(a,b), seg(e,f), 0).
parallel_std(seg(c,d), seg(e,f), 0).

测试验证 #

执行以下查询都会返回true：

parallel(seg(a,b), seg(c,d), 2).    % 原正确查询
parallel(seg(b,a), seg(c,d), 2).    % 原失败查询，现在返回true
parallel(seg(a,b), seg(d,c), 2).    % 反向CD也能判定
parallel(seg(b,a), seg(d,c), 2).    % 双向反向也能判定

方案优势 #

• 无需编写2^N条方向组合规则，扩展性极强，无论N取值多少都无需修改核心逻辑
• 线段方向的处理被统一封装在标准化谓词中，代码逻辑更清晰、易维护
• 完全保留原有的平行推理规则，仅通过前置标准化解决方向问题

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