请求协助编写Prolog的count(Name, Count)谓词（动态数据库实现）

需求回顾 #

需要编写count(Name, Count)谓词，统计指定姓名在所有family_info的成员列表中的出现次数，要求必须使用动态数据库实现，且不能使用列表生成谓词（如findall、bagof）和aggregate库。

解决方案代码 #

% 声明动态谓词，用于存储单个家族成员条目
:- dynamic member_entry/1.

% 加载所有家族成员到动态数据库（先清空旧数据）
load_members :-
    retractall(member_entry(_)),
    forall(family_info(_, Members), add_members(Members)).

% 递归遍历成员列表，逐个添加到动态数据库
add_members([]).
add_members([Name|Rest]) :-
    assertz(member_entry(Name)),
    add_members(Rest).

% 统计指定姓名的出现次数
count(Name, Count) :-
    load_members,
    count_recursive(Name, 0, Count).

% 递归计数实现（无列表生成）
count_recursive(Name, Current, Final) :-
    member_entry(Name),
    NewCurrent is Current + 1,
    count_recursive(Name, NewCurrent, Final).
count_recursive(_, Current, Current).

代码解释 #

1. 动态谓词声明：:- dynamic member_entry/1. 允许在运行时动态添加/删除member_entry事实，满足题目对动态数据库的要求。
2. 数据加载：
   • load_members先通过retractall清空所有旧的成员记录，避免重复统计；
   • 用forall遍历所有family_info条目，调用add_members处理每个家族的成员列表；
   • add_members递归遍历列表，用assertz将每个成员作为独立事实存入动态数据库。
3. 计数逻辑：
   • count(Name, Count)先确保动态数据库加载最新数据，再调用count_recursive开始计数；
   • count_recursive通过回溯匹配所有member_entry(Name)事实，每匹配一次就将计数加1，直到没有更多匹配时返回最终计数（终止子句）。

测试示例 #

% 统计name1的出现次数
?- count(name1, Count).
Count = 4.

% 统计name5的出现次数
?- count(name5, Count).
Count = 4.

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