Prolog规则编写问题求助：自定义has_fFriend与homofriend规则无法正常运行

嘿，刚学Prolog两天就动手写自定义规则，已经超棒啦！我帮你拆解下这两条规则里的问题，以及怎么修正：

问题1：has_fFriend/1规则的错误 #

这条规则有两个明显的问题：

• 变量名大小写错误：Prolog中，变量必须以大写字母或下划线开头，你用的person和friend都是小写，会被Prolog当作原子（固定常量），而不是可以匹配任意值的变量，自然匹配不到实际的人物和朋友关系。
• 谓词名拼写错误：你写的genero(friend,female)里，genero是西班牙语的“性别”，但前面定义的谓词是gender/2，拼写不一致导致Prolog找不到对应的事实。

修正后的has_fFriend/1规则：

has_fFriend(Person):- 
    friend(Person, Friend),
    gender(Friend, female).

问题2：homofriend/1规则的错误 #

这条规则的问题同样有变量名和运算符使用不当：

• 变量名大小写错误：和上面一样，person、friend要改成大写的Person、Friend，才能作为变量使用。
• 相等判断运算符错误：Prolog中，==是用来判断两个项是否完全相同（不进行统一绑定），而这里我们需要的是让Person和Friend的性别绑定到同一个变量，直接通过两次gender/2谓词调用就能实现，不需要额外的比较运算符。

修正后的homofriend/1规则：

homofriend(Person):- 
    friend(Person, Friend),
    gender(Person, X),
    gender(Friend, X).

测试示例 #

你可以在Prolog解释器里测试修正后的规则，比如：

• 查询has_fFriend(willy).，应该返回true（因为Willy的朋友Haley是女性）
• 查询homofriend(beto).，应该返回true（Beto的朋友Willy是男性，和他同性）

内容的提问来源于stack exchange，提问作者Andrés Estrella