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

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

propositional([]).

/* Examples of the target predicate */
can_reach(0,1).
can_reach(0,2).
can_reach(3,2).
can_reach(0,3).

/* 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).