/* Learning del/3 - deleting an element from a list */

background([del/3,components/3]).
propositional([[]]).

/* Examples of the target predicate */

del(a,'[a,b,c]','[b,c]').
del(c,'[a,b,c]','[a,b]').
del(c,'[b,c]','[b]').
del(c,'[c]', []).

/* Background knowledge */

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