Prolog使用继承实现属性重写时继承错误属性的原因是什么？

• 谓词与参数顺序混淆：你预先定义的属性值存储在prop/3谓词中，maps/3是用来存储对象继承关系的，但hasproperty的规则全程没有调用prop，反而尝试从maps里读取属性值，同时第一个规则还把maps的参数顺序完全搞反，把Property放到了第一个参数位置，和maps(对象, 关系, 父类)的定义完全不匹配，基础逻辑完全走偏。
• 拼写错误：两条继承规则末尾的变量都错误写为Ojbect（字母j和b顺序颠倒），和前面声明的Object不属于同一个变量，直接导致继承逻辑失效。
• 逻辑运算符误用：subset对应的继承规则里，你使用了Prolog中代表逻辑或的分号;，而非代表逻辑且的逗号,，导致只要匹配到任意maps(Object, subset, Parent)事实，规则就直接成立，不会执行后续的属性校验逻辑，自然返回错误结果。
• 查询参数错误：你预先定义的实例映射是maps(hiscar, isa, audi)，但查询时对象参数填的是hiscolor，不存在对应的继承关系映射，无法匹配正确的继承路径。
• 继承逻辑倒置：你写的继承规则末尾加上了maps(Property, Object, _)的判断，本意应该是「对象未定义该属性时才继承父类属性」，但当前写的逻辑是判断对象存在该属性映射，逻辑完全倒置，而且也应该判断prop谓词而非maps。

% 存储属性定义
prop(color, bmw, yellow).
prop(color, audi, red).

% 存储继承关系
maps(mycar, subset, bmw).
maps(hiscar, isa, audi).

% 规则1：对象自身已定义属性，直接返回
hasproperty(Property, Object, Value) :-
    prop(Property, Object, Value).

% 规则2：子集关系继承，自身未定义属性时继承父类属性
hasproperty(Property, Object, Value) :-
    maps(Object, subset, Parent),
    \+ prop(Property, Object, _),
    hasproperty(Property, Parent, Value).

% 规则3：实例关系继承，自身未定义属性时继承父类属性
hasproperty(Property, Object, Value) :-
    maps(Object, isa, Parent),
    \+ prop(Property, Object, _),
    hasproperty(Property, Parent, Value).

修正后执行查询hasproperty(color, hiscar, Z)即可得到预期结果Z = red。

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