我想做一个负面的基础案例，也就是说，如果参数是一个空列表，规则应该不起作用。
\ +乐趣（[]）。
一种选择是放置＆＃34; L = / []＆＃34;我写的每一条规则都是为了好玩（L），但是只有一个否定谓词会更好。
答案 0 :(得分：0)
听起来像你想要的
fun([_|_]). % true if argument is a list of at least 1 element
答案 1 :(得分：0)
在每个其他fun子句之前添加
fun([]) :- !, fail.