Lines Matching refs:neighbour
443 findall(C1-C2, (neighbour(C1,C2), C1=<N,C2=<N), Neighbours),
451 pair list is constructed from \verb'neighbour/2' calls. Let's look at the
452 source for \verb'neighbour/2'. We can do this from the predicate browser, by
453 selecting \verb'neighbour/2' and pushing the \button{Show source} button. We see
457 neighbour / 2 in file buggy_data.map, line 2:
458 %neighbour(4, 3).
459 neighbour(4, 2).
460 neighbour(4, 1).
461 neighbour(4, 2).
462 neighbour(3, 1).
463 neighbour(3, 2).
464 neighbour(1, 2).
468 So \verb'neighbour(4,3)' was indeed missing (it is commented out).
469 Another way to check \verb'neighbour/2', without looking at the source,
474 \verb'colour' query). We can use this tool to check if \verb'neighbour(4,3)'
475 or \verb'neighbour(3,4)' are defined or not:
486 tried \verb'neighbour(4,3)', followed by \verb'neighbour(3,4)', and
487 both failed, indicating that there is no neighbour relationship defined
492 the file \verb'buggy_data.map' and adding the neighbour(4, 3) line back.