Prolog列表求平均时count、sum运行正常但average始终返回false

• 核心错误出在average谓词的第二个子句参数定义：你写的average([_|X],Y)会直接丢弃输入列表的第一个元素，仅对剩余子列表X计算总和和长度。当输入列表只有1个元素时，X会是空列表，长度C为0，触发C>0的校验失败，直接返回false；多元素列表就算能返回结果，也是丢弃首元素后的错误值。
• 空列表求平均的子句不符合数学定义（0做除数无意义），如果你的业务场景不需要特殊处理空列表输入可以直接删除该子句，避免不符合预期的返回值。

% 原count谓词逻辑正确，无需修改
count([],X):- X is 0.
count([_|T],X):- count(T,Y), X is 1+Y.

% 原sum谓词逻辑正确，无需修改
sum([], 0).
sum([H|T], Sum):- sum(T,Rest), Sum is H+Rest.

% 修正后的average谓词
average(List, Y):- 
    sum(List, Sum), 
    count(List, C), 
    C > 0, 
    Y is Sum/C.

• 调用average([1,2,3], Y)，返回Y = 2，结果正确
• 调用average([5], Y)，返回Y = 5，不会再返回false
• 调用average([], Y)，直接返回false，符合空列表无有效值的数学定义

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