/* Dataset for FOIL */

/* Parameters to be passed to the learning system */

foil_predicates([path/2, link/2]).  % list here the predicates (name/arity) from BK and examples
foil_cwa(true).                     % use CWA to compute the negative examples (no need to include them explicitly)

/* Definitions of background knowledge and examples */
path(1, 2).
path(1, 3).
path(1, 4).
path(1, 5).
path(2, 3).
path(2, 4).
path(2, 5). 
path(3, 4).
path(3, 5).

link(1, 2).
link(2, 3).
link(3, 4).
link(3, 5).