/* Learning evenlength/1 - check for even number of elements of a list */

background([evenlength/1,components/3]).
propositional([[]]).

evenlength('[a,b,c,d]').
evenlength('[a,b]').
evenlength('[b,c]').
evenlength('[c,d]').
evenlength([]).

components('[a,b,c,d]',a,'[b,c,d]').
components('[a,b,c]',a,'[b,c]').
components('[b,c,d]',b,'[c,d]').
components('[a,b]',a,'[b]').
components('[b,c]',b,'[c]').
components('[c,d]',c,'[d]').
components('[a]',a,[]).
components('[b]',b,[]).
components('[c]',c,[]).
components('[d]',d,[]).