/* ?- pebble_eater(1). yes ?- pebble_eater(2). no ?- pebble_eater(3). no */ edge(source,a). edge(source,b). edge(a,c). edge(b,c). edge(c,d). edge(d,sink).