将非确定谓词重写为过程谓词

Question

我试图将广度优先的搜索程序从VIP5重写为VIP9，工作几乎完成了。但是我遇到一个谓词问题。

VIP编译器说：“谓词'main :: search_bdth / 2（i，i）'实际上声明为'不确定'。”

我是Prolog的新手，这是我第一个程序的一部分。

test = np.zeros((3,4,5,6))
test[1,2,2,5] = 1
trim_zeros(test, margin=1)

我除了这样的out输出：

a-> b

b-> d

d-> e

e-> c