Lines Matching refs:add
102 add(I,J,N,B,L,R1) ,
103 add(I-1,J,N,B,R1,R2) ,
104 add(I+1,J,N,B,R2,R3) ,
105 add(I,J-1,N,B,R3,R4) ,
106 add(I,J+1,N,B,R4,[]) , % L is the list of neighbours of (I,J)
110 add(I,J,N,B,S,S) :- I =:= 0 , ! .
111 add(I,J,N,B,S,S) :- J =:= 0 , ! .
112 add(I,J,N,B,S,S) :- I > N , ! .
113 add(I,J,N,B,S,S) :- J > N , ! .
114 add(I,J,N,B,[X|S],S) :- A is (I-1) * N + J , arg(A,B,X) .