/* Learning reverse/2 predicate */

background([reverse/2,conc/3,components/3]).
propositional([[]]).


/* Examples of the target predicate */

reverse([],[]).
reverse('[1]','[1]').
reverse('[1,2,3]','[3,2,1]').
reverse('[2]','[2]').
reverse('[3]','[3]').
reverse('[4]','[4]').
reverse('[1,2]','[2,1]').
reverse('[1,3]','[3,1]').
reverse('[1,4]','[4,1]').
reverse('[2,3]','[3,2]').
reverse('[2,4]','[4,2]').


/* Background knowledge */

conc([],[],[]).
conc([],'[1]','[1]').
conc('[1]',[],'[1]').
conc([],'[2]','[2]').
conc('[2]',[],'[2]').
conc([],'[3]','[3]').
conc('[3]',[],'[3]').
conc([],'[4]','[4]').
conc('[4]',[],'[4]').
conc([],'[3,4]','[3,4]').
conc('[3]','[4]','[3,4]').
conc('[3,4]',[],'[3,4]').
conc([],'[4,3]','[4,3]').
conc('[4]','[3]','[4,3]').
conc('[4,3]',[],'[4,3]').
conc([],'[2,3]','[2,3]').
conc('[2]','[3]','[2,3]').
conc('[2,3]',[],'[2,3]').
conc([],'[3,2]','[3,2]').
conc('[3]','[2]','[3,2]').
conc('[3,2]',[],'[3,2]').
conc([],'[2,4]','[2,4]').
conc('[2]','[4]','[2,4]').
conc('[2,4]',[],'[2,4]').
conc([],'[4,2]','[4,2]').
conc('[4]','[2]','[4,2]').
conc('[4,2]',[],'[4,2]').
conc([],'[2,3,4]','[2,3,4]').
conc('[2]','[3,4]','[2,3,4]').
conc('[2,3]','[4]','[2,3,4]').
conc('[2,3,4]',[],'[2,3,4]').
conc([],'[2,4,3]','[2,4,3]').
conc('[2]','[4,3]','[2,4,3]').
conc('[2,4]','[3]','[2,4,3]').
conc('[2,4,3]',[],'[2,4,3]').
conc([],'[3,2,4]','[3,2,4]').
conc('[3]','[2,4]','[3,2,4]').
conc('[3,2]','[4]','[3,2,4]').
conc('[3,2,4]',[],'[3,2,4]').
conc([],'[3,4,2]','[3,4,2]').
conc('[3]','[4,2]','[3,4,2]').
conc('[3,4]','[2]','[3,4,2]').
conc('[3,4,2]',[],'[3,4,2]').
conc([],'[4,2,3]','[4,2,3]').
conc('[4]','[2,3]','[4,2,3]').
conc('[4,2]','[3]','[4,2,3]').
conc('[4,2,3]',[],'[4,2,3]').
conc([],'[4,3,2]','[4,3,2]').
conc('[4]','[3,2]','[4,3,2]').
conc('[4,3]','[2]','[4,3,2]').
conc('[4,3,2]',[],'[4,3,2]').
conc([],'[1,2]','[1,2]').
conc('[1]','[2]','[1,2]').
conc('[1,2]',[],'[1,2]').
conc([],'[2,1]','[2,1]').
conc('[2]','[1]','[2,1]').
conc('[2,1]',[],'[2,1]').
conc([],'[1,3]','[1,3]').
conc('[1]','[3]','[1,3]').
conc('[1,3]',[],'[1,3]').
conc([],'[3,1]','[3,1]').
conc('[3]','[1]','[3,1]').
conc('[3,1]',[],'[3,1]').
conc([],'[1,4]','[1,4]').
conc('[1]','[4]','[1,4]').
conc('[1,4]',[],'[1,4]').
conc([],'[4,1]','[4,1]').
conc('[4]','[1]','[4,1]').
conc('[4,1]',[],'[4,1]').
conc([],'[1,3,4]','[1,3,4]').
conc('[1]','[3,4]','[1,3,4]').
conc('[1,3]','[4]','[1,3,4]').
conc('[1,3,4]',[],'[1,3,4]').
conc([],'[1,4,3]','[1,4,3]').
conc('[1]','[4,3]','[1,4,3]').
conc('[1,4]','[3]','[1,4,3]').
conc('[1,4,3]',[],'[1,4,3]').
conc([],'[3,1,4]','[3,1,4]').
conc('[3]','[1,4]','[3,1,4]').
conc('[3,1]','[4]','[3,1,4]').
conc('[3,1,4]',[],'[3,1,4]').
conc([],'[3,4,1]','[3,4,1]').
conc('[3]','[4,1]','[3,4,1]').
conc('[3,4]','[1]','[3,4,1]').
conc('[3,4,1]',[],'[3,4,1]').
conc([],'[4,1,3]','[4,1,3]').
conc('[4]','[1,3]','[4,1,3]').
conc('[4,1]','[3]','[4,1,3]').
conc('[4,1,3]',[],'[4,1,3]').
conc([],'[4,3,1]','[4,3,1]').
conc('[4]','[3,1]','[4,3,1]').
conc('[4,3]','[1]','[4,3,1]').
conc('[4,3,1]',[],'[4,3,1]').
conc([],'[1,2,3]','[1,2,3]').
conc('[1]','[2,3]','[1,2,3]').
conc('[1,2]','[3]','[1,2,3]').
conc('[1,2,3]',[],'[1,2,3]').
conc([],'[1,3,2]','[1,3,2]').
conc('[1]','[3,2]','[1,3,2]').
conc('[1,3]','[2]','[1,3,2]').
conc('[1,3,2]',[],'[1,3,2]').
conc([],'[2,1,3]','[2,1,3]').
conc('[2]','[1,3]','[2,1,3]').
conc('[2,1]','[3]','[2,1,3]').
conc('[2,1,3]',[],'[2,1,3]').
conc([],'[2,3,1]','[2,3,1]').
conc('[2]','[3,1]','[2,3,1]').
conc('[2,3]','[1]','[2,3,1]').
conc('[2,3,1]',[],'[2,3,1]').
conc([],'[3,1,2]','[3,1,2]').
conc('[3]','[1,2]','[3,1,2]').
conc('[3,1]','[2]','[3,1,2]').
conc('[3,1,2]',[],'[3,1,2]').
conc([],'[3,2,1]','[3,2,1]').
conc('[3]','[2,1]','[3,2,1]').
conc('[3,2]','[1]','[3,2,1]').
conc('[3,2,1]',[],'[3,2,1]').
conc([],'[1,2,4]','[1,2,4]').
conc('[1]','[2,4]','[1,2,4]').
conc('[1,2]','[4]','[1,2,4]').
conc('[1,2,4]',[],'[1,2,4]').
conc([],'[1,4,2]','[1,4,2]').
conc('[1]','[4,2]','[1,4,2]').
conc('[1,4]','[2]','[1,4,2]').
conc('[1,4,2]',[],'[1,4,2]').
conc([],'[2,1,4]','[2,1,4]').
conc('[2]','[1,4]','[2,1,4]').
conc('[2,1]','[4]','[2,1,4]').
conc('[2,1,4]',[],'[2,1,4]').
conc([],'[2,4,1]','[2,4,1]').
conc('[2]','[4,1]','[2,4,1]').
conc('[2,4]','[1]','[2,4,1]').
conc('[2,4,1]',[],'[2,4,1]').
conc([],'[4,1,2]','[4,1,2]').
conc('[4]','[1,2]','[4,1,2]').
conc('[4,1]','[2]','[4,1,2]').
conc('[4,1,2]',[],'[4,1,2]').
conc([],'[4,2,1]','[4,2,1]').
conc('[4]','[2,1]','[4,2,1]').
conc('[4,2]','[1]','[4,2,1]').
conc('[4,2,1]',[],'[4,2,1]').


components('[1]',1,[]).
components('[2]',2,[]).
components('[3]',3,[]).
components('[4]',4,[]).
components('[3,4]',3,'[4]').
components('[4,3]',4,'[3]').
components('[2,3]',2,'[3]').
components('[3,2]',3,'[2]').
components('[2,4]',2,'[4]').
components('[4,2]',4,'[2]').
components('[2,3,4]',2,'[3,4]').
components('[2,4,3]',2,'[4,3]').
components('[3,2,4]',3,'[2,4]').
components('[3,4,2]',3,'[4,2]').
components('[4,2,3]',4,'[2,3]').
components('[4,3,2]',4,'[3,2]').
components('[1,2]',1,'[2]').
components('[2,1]',2,'[1]').
components('[1,3]',1,'[3]').
components('[3,1]',3,'[1]').
components('[1,4]',1,'[4]').
components('[4,1]',4,'[1]').
components('[1,3,4]',1,'[3,4]').
components('[1,4,3]',1,'[4,3]').
components('[3,1,4]',3,'[1,4]').
components('[3,4,1]',3,'[4,1]').
components('[4,1,3]',4,'[1,3]').
components('[4,3,1]',4,'[3,1]').
components('[1,2,3]',1,'[2,3]').
components('[1,3,2]',1,'[3,2]').
components('[2,1,3]',2,'[1,3]').
components('[2,3,1]',2,'[3,1]').
components('[3,1,2]',3,'[1,2]').
components('[3,2,1]',3,'[2,1]').
components('[1,2,4]',1,'[2,4]').
components('[1,4,2]',1,'[4,2]').
components('[2,1,4]',2,'[1,4]').
components('[2,4,1]',2,'[4,1]').
components('[4,1,2]',4,'[1,2]').
components('[4,2,1]',4,'[2,1]').
components('[1,2,3,4]',1,'[2,3,4]').
components('[1,2,4,3]',1,'[2,4,3]').
components('[1,3,2,4]',1,'[3,2,4]').
components('[1,3,4,2]',1,'[3,4,2]').
components('[1,4,2,3]',1,'[4,2,3]').
components('[1,4,3,2]',1,'[4,3,2]').
components('[2,1,3,4]',2,'[1,3,4]').
components('[2,1,4,3]',2,'[1,4,3]').
components('[2,3,1,4]',2,'[3,1,4]').
components('[2,3,4,1]',2,'[3,4,1]').
components('[2,4,1,3]',2,'[4,1,3]').
components('[2,4,3,1]',2,'[4,3,1]').
components('[3,1,2,4]',3,'[1,2,4]').
components('[3,1,4,2]',3,'[1,4,2]').
components('[3,2,1,4]',3,'[2,1,4]').
components('[3,2,4,1]',3,'[2,4,1]').
components('[3,4,1,2]',3,'[4,1,2]').
components('[3,4,2,1]',3,'[4,2,1]').
components('[4,1,2,3]',4,'[1,2,3]').
components('[4,1,3,2]',4,'[1,3,2]').
components('[4,2,1,3]',4,'[2,1,3]').
components('[4,2,3,1]',4,'[2,3,1]').
components('[4,3,1,2]',4,'[3,1,2]').
components('[4,3,2,1]',4,'[3,2,1]').