/* Learning illegal/6 - illegal chess endgame positions */
/* Negative examples are used to allow anonymous head variables */

background([adj/2]).
propositional([]).

/* Positive examples */

/* Complete lambda model for illegal(7,2,5,0,6,1) */
illegal(7,2,5,0,6,1).
illegal(6,1,5,0,6,1).
illegal(6,0,5,0,6,1).
illegal(6,2,5,0,6,1).
illegal(5,1,5,0,6,1).
illegal(5,0,5,0,6,1).
illegal(5,2,5,0,6,1).
illegal(7,1,5,0,6,1).
illegal(7,0,5,0,6,1).
illegal(7,2,5,0,7,2).
illegal(7,2,5,0,7,3).
illegal(7,2,5,0,7,1).
illegal(7,2,5,0,6,2).
illegal(7,2,5,0,6,3).

/* Other examples */
illegal(5,2,5,2,7,3).
illegal(5,5,4,2,7,2).
illegal(5,3,0,0,3,0).
illegal(4,0,1,4,4,1).
illegal(6,0,5,1,6,0).
illegal(5,7,4,1,6,6).
illegal(5,3,2,2,1,2).
illegal(3,6,1,1,1,4).
illegal(6,2,6,2,3,3).
illegal(0,1,4,1,5,1).
illegal(3,0,3,3,3,6).
illegal(3,3,5,1,4,3).
illegal(5,3,5,2,5,0).
illegal(5,2,7,0,7,7).
illegal(2,0,5,2,5,7).
illegal(5,3,5,2,0,2).
illegal(2,2,5,7,5,2).
illegal(6,4,2,4,2,0).
illegal(1,3,2,4,6,4).
illegal(4,6,4,6,5,0).
illegal(0,1,7,6,7,7).
illegal(1,5,3,5,1,5).
illegal(5,1,6,5,3,5).
illegal(5,1,2,5,2,2).
illegal(5,6,3,7,4,6).
illegal(0,1,3,2,4,2).
illegal(3,7,0,4,3,4).
illegal(1,5,0,1,4,1).
illegal(4,3,5,7,3,4).
illegal(7,7,0,4,6,4).
illegal(0,4,2,6,0,6).
illegal(7,7,7,1,7,3).
illegal(2,6,6,4,1,6).
illegal(0,2,6,6,6,0).
illegal(2,6,0,4,1,5).
illegal(7,5,7,7,6,7).
illegal(7,2,4,5,7,5).
illegal(6,4,7,2,5,5).
illegal(4,1,6,3,7,3).
illegal(0,5,0,3,0,0).
illegal(6,2,2,4,6,1).
illegal(2,5,5,2,5,0).
illegal(5,4,7,5,1,5).
illegal(0,7,4,1,6,1).
illegal(7,5,4,4,7,5).
illegal(2,3,2,7,3,3).
illegal(4,3,7,1,4,2).
illegal(0,4,4,0,0,4).
illegal(4,4,0,1,5,1).
illegal(2,2,4,0,1,0).
illegal(4,2,0,7,0,2).
illegal(3,6,1,4,2,7).
illegal(5,3,6,1,4,3).
illegal(0,0,5,7,5,2).
illegal(0,0,2,7,3,7).
illegal(1,2,0,7,2,7).
illegal(7,7,7,1,7,0).
illegal(6,6,5,0,5,4).
illegal(0,6,2,3,5,3).
illegal(3,1,0,2,2,1).
illegal(7,6,3,0,6,5).
illegal(0,5,6,3,6,0).
illegal(4,1,2,4,6,4).
illegal(7,3,7,5,7,2).
illegal(5,2,4,0,6,3).
illegal(3,6,2,6,2,5).
illegal(0,5,5,5,5,0).
illegal(5,4,6,3,2,3).
illegal(4,0,5,6,5,7).
illegal(5,5,5,2,5,6).
illegal(1,5,0,1,7,1).
illegal(0,1,5,2,5,4).
illegal(0,3,4,3,2,3).
illegal(7,5,6,3,5,3).
illegal(6,6,2,7,1,7).
illegal(5,1,6,3,4,2).
illegal(4,7,3,5,3,4).
illegal(6,5,4,0,6,6).
illegal(1,3,3,4,6,4).
illegal(7,6,7,0,7,4).
illegal(4,4,0,0,3,5).
illegal(7,4,2,1,0,1).
illegal(1,1,2,3,2,6).
illegal(0,0,7,3,7,6).
illegal(3,7,6,2,3,2).
illegal(7,3,4,5,0,5).
illegal(7,7,6,1,1,1).
illegal(2,6,0,4,0,7).
illegal(1,2,6,7,0,3).
illegal(1,6,6,7,7,7).
illegal(2,7,6,0,6,4).
illegal(3,7,1,0,1,4).
illegal(5,1,7,3,6,0).
illegal(1,6,0,1,1,6).
illegal(0,2,3,5,0,1).
illegal(3,0,1,3,7,3).
illegal(3,1,5,7,0,7).
illegal(4,0,1,5,5,1).
illegal(4,0,7,6,2,6).
illegal(0,1,1,7,6,7).
illegal(4,1,1,3,5,1).
illegal(0,6,7,6,7,2).
illegal(7,2,4,7,6,2).
illegal(7,4,2,2,2,2).
illegal(6,0,0,5,4,5).
illegal(3,6,1,2,1,6).
illegal(4,5,0,1,0,1).
illegal(4,2,6,6,5,3).
illegal(1,5,7,6,7,6).
illegal(6,5,3,6,2,6).
illegal(7,0,0,3,2,3).
illegal(3,4,4,4,3,4).
illegal(6,7,3,5,7,7).
illegal(6,1,1,7,7,7).
illegal(0,1,0,3,0,2).
illegal(0,3,3,3,0,2).
illegal(5,3,4,0,4,2).
illegal(5,4,5,3,5,2).
illegal(3,1,4,0,4,0).
illegal(5,4,3,7,5,3).
illegal(2,0,6,5,1,0).
illegal(5,1,5,0,4,1).
illegal(4,2,5,0,4,2).
illegal(0,1,0,1,0,2).
illegal(2,4,4,4,1,5).
illegal(3,5,1,3,3,6).
illegal(7,3,3,0,6,2).
illegal(6,3,5,1,6,1).
illegal(7,1,5,0,6,0).
illegal(6,5,2,2,5,4).
illegal(3,7,3,0,0,0).
illegal(3,5,4,2,5,2).
illegal(2,0,7,0,7,0).
illegal(0,0,2,4,4,4).
illegal(7,6,6,6,6,6).
illegal(3,5,3,5,4,3).
illegal(6,5,3,7,2,7).
illegal(5,1,2,4,1,4).
illegal(7,5,3,1,7,5).
illegal(1,1,7,4,1,2).
illegal(1,3,7,4,2,4).
illegal(5,6,5,0,5,5).
illegal(4,3,0,1,5,2).
illegal(7,7,3,1,6,7).
illegal(0,6,7,5,5,5).
illegal(7,6,5,7,5,6).
illegal(7,7,5,6,6,7).
illegal(2,3,4,4,4,6).
illegal(0,4,6,1,1,1).
illegal(7,3,4,7,4,1).
illegal(1,4,0,6,2,4).
illegal(5,6,7,7,7,5).
illegal(0,5,6,0,6,5).
illegal(1,7,2,7,2,3).
illegal(4,4,7,3,7,1).
illegal(6,4,2,4,4,4).
illegal(4,2,1,0,1,7).
illegal(1,6,7,6,2,5).
illegal(0,2,3,0,1,0).
illegal(6,0,6,0,7,7).
illegal(7,4,4,1,4,7).
illegal(5,3,0,7,5,2).
illegal(4,7,7,3,5,3).
illegal(1,5,0,2,0,5).
illegal(7,2,2,0,5,0).
illegal(7,1,6,4,3,4).
illegal(7,3,2,7,7,3).
illegal(0,3,5,0,1,0).
illegal(0,4,5,2,5,2).
illegal(1,0,4,3,0,1).
illegal(5,5,4,2,4,4).
illegal(5,5,5,3,0,3).
illegal(5,5,0,1,0,3).
illegal(3,2,0,2,0,0).
illegal(6,1,1,7,6,2).
illegal(0,2,4,3,0,1).
illegal(5,6,3,6,5,7).
illegal(6,1,4,6,6,0).
illegal(7,7,4,6,1,6).
illegal(5,1,7,0,4,1).
illegal(1,6,7,5,0,6).
illegal(3,2,5,4,4,3).
illegal(5,3,5,5,5,7).
illegal(5,7,2,1,5,6).
illegal(3,2,4,0,5,0).
illegal(5,5,0,7,0,1).
illegal(1,1,3,0,7,0).
illegal(2,1,0,6,6,6).
illegal(0,4,0,4,2,7).
illegal(2,3,6,3,1,4).
illegal(2,5,7,0,7,7).
illegal(5,6,6,3,4,7).
illegal(0,4,1,7,7,7).
illegal(6,3,3,5,6,5).
illegal(4,3,5,4,5,3).
illegal(6,5,4,3,0,3).
illegal(3,3,1,0,1,5).
illegal(7,0,2,3,2,4).
illegal(7,3,4,2,4,5).
illegal(6,3,0,2,1,2).
illegal(3,4,0,6,4,3).
illegal(1,6,7,0,2,6).
illegal(3,1,4,3,3,0).
illegal(7,4,2,1,5,1).
illegal(5,3,0,0,4,0).
illegal(5,1,1,0,1,7).
illegal(3,3,3,6,2,3).
illegal(6,3,5,7,6,4).
illegal(3,7,3,6,3,7).
illegal(7,2,2,2,7,2).
illegal(3,1,6,6,6,7).
illegal(7,5,3,1,6,1).
illegal(3,4,6,2,4,2).
illegal(1,6,2,0,2,0).
illegal(7,7,6,1,7,7).
illegal(2,0,3,1,3,1).
illegal(3,3,0,7,1,7).
illegal(3,3,5,7,6,7).
illegal(6,5,5,0,6,0).
illegal(1,1,5,5,0,2).
illegal(2,0,5,3,5,7).
illegal(5,0,1,3,6,0).
illegal(6,3,6,2,3,2).
illegal(2,1,0,5,2,1).
illegal(5,2,5,2,1,1).
illegal(4,0,1,2,1,5).
illegal(7,4,2,4,2,3).
illegal(5,2,6,5,0,5).
illegal(1,6,0,2,1,7).
illegal(5,2,3,7,5,3).
illegal(4,0,6,5,7,5).
illegal(2,1,4,4,4,2).
illegal(6,6,5,5,4,5).
illegal(6,0,6,7,5,7).
illegal(7,1,3,3,5,3).
illegal(4,3,4,3,5,3).
illegal(6,4,3,2,3,2).
illegal(1,5,1,5,5,1).
illegal(4,4,1,6,3,4).
illegal(1,0,7,3,2,0).
illegal(3,4,4,6,4,3).
illegal(6,1,7,7,5,2).
illegal(6,1,1,7,5,2).
illegal(4,3,4,3,7,2).
illegal(4,6,5,6,3,6).
illegal(1,3,3,2,5,2).
illegal(6,4,6,0,6,3).
illegal(5,6,2,3,1,3).
illegal(7,0,6,6,6,5).
illegal(0,5,7,3,7,1).
illegal(0,7,6,7,0,6).
illegal(3,7,3,3,2,6).
illegal(2,1,7,0,0,0).
illegal(0,5,1,0,0,4).
illegal(6,1,1,0,1,4).
illegal(0,6,4,6,1,5).
illegal(7,7,3,1,0,1).
illegal(4,1,6,4,7,4).
illegal(5,5,3,0,6,4).
illegal(5,3,3,3,6,2).
illegal(2,1,7,7,7,1).
illegal(6,2,5,1,5,0).
illegal(1,5,4,3,7,3).
illegal(2,2,7,1,1,2).
illegal(0,7,3,6,3,3).
illegal(1,2,7,6,1,2).
illegal(3,3,4,2,2,2).
illegal(0,1,1,3,1,1).
illegal(4,1,5,3,5,6).
illegal(5,6,4,7,4,2).
illegal(5,6,3,2,1,2).
illegal(5,0,2,5,2,6).
illegal(7,2,5,4,5,6).
illegal(3,0,0,6,0,5).
illegal(5,3,0,1,5,1).
illegal(6,0,3,5,5,1).
illegal(3,1,4,3,3,0).
illegal(6,4,0,3,0,1).
illegal(3,5,5,1,4,4).
illegal(1,2,7,7,7,6).
illegal(0,6,3,3,0,3).
illegal(4,4,1,4,1,6).
illegal(5,1,0,4,0,6).
illegal(0,0,7,3,0,0).
illegal(2,0,5,3,3,0).
illegal(5,3,0,5,6,4).
illegal(5,0,5,6,4,0).
illegal(3,5,0,7,2,6).
illegal(0,6,2,0,0,7).
illegal(3,7,3,7,3,1).
illegal(3,0,7,5,7,1).
illegal(7,4,2,2,0,2).
illegal(4,3,7,6,4,3).
illegal(6,2,6,2,7,4).
illegal(5,4,5,4,0,2).
illegal(6,7,1,2,2,2).
illegal(1,6,4,6,4,0).
illegal(7,2,5,4,5,1).
illegal(7,4,7,0,6,0).
illegal(0,5,5,3,6,3).
illegal(3,3,5,0,4,3).
illegal(0,6,7,7,7,3).
illegal(1,6,0,1,2,5).
illegal(6,7,0,7,0,3).
illegal(7,2,2,5,3,5).
illegal(2,6,7,6,1,7).
illegal(5,3,6,1,6,6).
illegal(6,6,1,1,7,7).
illegal(5,1,3,3,4,0).
illegal(4,6,6,0,5,6).
illegal(4,5,7,0,6,0).
illegal(6,0,6,3,3,3).
illegal(0,7,1,3,1,6).
illegal(1,5,7,1,1,1).
illegal(7,0,7,0,7,0).
illegal(5,2,5,2,3,7).
illegal(1,6,5,4,0,6).
illegal(5,7,4,4,6,7).
illegal(3,6,1,0,1,7).
illegal(6,6,5,4,5,2).
illegal(5,6,3,7,3,5).
illegal(2,7,0,7,0,2).
illegal(2,7,5,3,5,6).
illegal(5,1,7,5,6,0).
illegal(0,1,7,2,7,6).
illegal(3,6,6,1,3,1).
illegal(4,1,2,4,4,1).
illegal(1,5,3,5,3,4).
illegal(7,6,1,2,1,2).
illegal(6,4,6,4,7,6).
illegal(5,0,2,3,2,2).
illegal(0,6,2,2,1,6).
illegal(7,0,4,3,4,3).
illegal(6,4,5,0,5,4).
illegal(3,6,4,0,0,0).
illegal(2,6,2,6,3,4).
illegal(5,3,6,1,4,2).
illegal(4,5,2,5,5,5).
illegal(0,2,6,3,1,3).
illegal(7,3,4,3,4,3).
illegal(5,4,0,1,5,5).

/* Negative examples */
neg(illegal(7,2,5,0,3,4)).   /* 5 and 0 are don't care arguments */
neg(illegal(7,2,5,0,4,1)).
neg(illegal(7,2,5,0,6,4)).

neg(illegal(4,3,5,2,7,3)).
neg(illegal(0,1,5,2,6,4)).
neg(illegal(1,3,2,4,6,5)).

/* Background knowledge */
adj(0,0).
adj(1,1).
adj(2,2).
adj(3,3).
adj(4,4).
adj(5,5).
adj(6,6).
adj(7,7).
adj(0,1).
adj(1,2).
adj(2,3).
adj(3,4).
adj(4,5).
adj(5,6).
adj(6,7).
adj(7,6).
adj(6,5).
adj(5,4).
adj(4,3).
adj(3,2).
adj(2,1).
adj(1,0).