/* Ensmble d'exemples (base de données) pour FOIL */

/*  
Pour lancer foil avec cette base faire
  - consult('foil.pl').
  - consult('chemin.pl').
  -foil(chemin/2).
*/

/* Paramètres à passer au système */

foil_predicates([chemin/2, arc/2]).  % liste des prédicats des exemples selon le format : (nom/arité)
foil_cwa(true).                     % utiliser CWA pour calculer les exemples négatives. 
                                    % (Il ne faut pas les donnér explicitemennt.)

/* Liste d'exemples */

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

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