我有一个名为check(A,B)的谓词。检查列表A是否与另一个列表B匹配。
我需要创建一个谓词来检查列表的元素是否是单个列表。
答案 0 :(得分：1)
这样的东西？
checkList([],[]).
checkList([A|A2],[B|B2]) :- check(A,B), checkList(A2,B2).
这假定如果A＆amp; B不是“单一列表”，然后检查将失败（听起来像你想要的那样）。
答案 1 :(得分：0)
为什么你不能只使用
check(A,B) :- A=B.
然后，列表由什么类型的元素构成并不重要;哎呀，他们根本不会成为名单！