如何让Prolog列表变量输出时每个元素单独占一行

问题原因 #

你之前修改的代码出现重复输出的核心原因是：maplist(writeln, NutritionList)会先主动逐行打印元素，而Prolog解释器默认会自动打印谓词执行后的变量绑定结果（即NutritionList = [a,b,c,d]），两部分输出叠加就出现了你遇到的问题。

解决方案 #

方案1：自定义打印逻辑（最简便） #

直接写专门的打印谓词，全程自主控制输出内容，不需要依赖解释器的变量绑定打印：

print_fruits_nutrition :-
    findall(Nutrition, fruitNutrition(Nutrition), NutritionList),
    write('NutritionList = '), nl,
    maplist(writeln, NutritionList).

调用时直接执行print_fruits_nutrition.即可，输出完全符合你的预期，解释器最终只会返回true，不会再额外打印列表内容。

方案2：保留原有谓词结构，阻止默认绑定输出 #

如果需要保留nutrition/2的参数结构，可以加失败触发逻辑，让解释器跳过变量绑定打印步骤：

nutrition(fruits, NutritionList) :- 
    findall(Nutrition, fruitNutrition(Nutrition), NutritionList),
    write('NutritionList = '), nl,
    maplist(writeln, NutritionList),
    fail. % 主动触发失败，阻止默认绑定输出
nutrition(fruits, []). % 兜底子句，避免谓词最终返回false

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