Prolog中如何访问复合变量返回值并判断孩子是否失业

核心思路 #

Prolog通过**模式匹配（合一操作）**直接提取复合结构的参数，不需要额外的访问函数。你定义的person是4元复合项，第4位就是就业状态，直接匹配该位置即可。

实现代码 #

方法1：直接在规则内匹配结构 #

如果你要筛选失业的孩子，直接写如下规则：

unemployed_child(X) :-
    child(X),
    % 匹配person结构的第4个参数为unemployed，前3个参数用匿名变量_忽略
    X = person(_, _, _, unemployed).

如果你要实现筛选有工作的孩子（对应你写的childworking规则），修改为：

child_working(X) :-
    child(X),
    % 匹配第4个参数为works结构，忽略具体的公司和薪资
    X = person(_, _, _, works(_, _)).

方法2：封装通用属性获取谓词（推荐） #

如果后续需要频繁访问person的属性，可以单独封装辅助谓词，复用性更高：

% 辅助谓词：提取person的就业状态
person_employment(person(_, _, _, Status), Status).

% 失业孩子规则
unemployed_child(X) :-
    child(X),
    person_employment(X, unemployed).

% 在职孩子规则
child_working(X) :-
    child(X),
    person_employment(X, works(_, _)).

调用示例 #

查询所有失业的孩子：
?- unemployed_child(X).
返回结果和你之前的child(X)结果一致（示例中两个孩子均为失业状态）。

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