如何在Prolog中定义并查询镜像（非对称）关系？

一、这类查询的特定名称 #

你处理的是互逆二元关系的推理查询，这类操作属于关系逆映射推理，核心是利用两个关系之间的互逆性（比如"左"和"右"互为逆关系：A在B的右边等价于B在A的左边），从已知事实推导隐含的反向事实。在逻辑编程领域，这类推理也常被归为对称关系闭包推理的一种（这里是不对称的互逆，属于对称关系的子类）。

二、多反射关系下的优化实现 #

如果需要支持更多互逆关系（比如前后、上下等），逐个为每个关系编写规则会产生大量冗余代码。更优的方式是通过通用互逆关系映射表+统一推理规则来实现：

1. 定义通用互逆关系映射 #

先建立一个存储所有互逆关系对的规则inverse/2，后续新增互逆关系只需添加新的事实：

% 定义互逆关系对
inverse(left, right).
inverse(right, left).
% 可扩展其他互逆关系，比如：
% inverse(front, back).
% inverse(up, down).

2. 编写统一的推理规则 #

用一个通用规则处理所有互逆关系的查询，无需为每个方向单独写分支：

% 原知识库中的基础事实
at(right, sam, fred).

% 通用查询规则：匹配原事实或推导逆关系事实
relation(Direction, A, B) :-
    at(Direction, A, B).
relation(Direction, A, B) :-
    inverse(Direction, InvDir),
    at(InvDir, B, A).

3. 查询示例 #

执行查询relation(N, X, Y).会得到正确的结果：

N = right, X = sam, Y = fred ;
N = left, X = fred, Y = sam.

优化优势 #

• 高扩展性：新增互逆关系只需添加inverse/2事实，无需修改推理规则
• 代码简洁：避免重复编写类似的规则分支，减少冗余
• 逻辑清晰：将关系的互逆性定义与查询逻辑分离，便于维护

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