/* Learning can_reach/2 - finding a path in a graph */

background([can_reach/2,linked_to/2]).

can_reach(0,1).
can_reach(3,2).
can_reach(0,3).
can_reach(4,6).
can_reach(4,8).

% Background knowledge

linked_to(0,1).
linked_to(0,3).
linked_to(1,2).
linked_to(3,2).
linked_to(3,4).
linked_to(4,5).
linked_to(4,6).
linked_to(6,8).
linked_to(7,8).
linked_to(7,6).