我正在编写一个简单的代码,生成一个包含5个数字的简单列表,其第一个变量应为正数,我试图理解为什么这个代码失败了
test([H|T]) :- H > 0, length(T,4).
我打电话的时候
length(X,5), test(X).
它向我显示以下错误:
错误:参数没有充分实例化
当我调试代码时,H变量in test不会被实例化.
谁知道为什么？