/* Leanring insert/3 predicate using del/3 */

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

/* Example of the target predicate */
insert(b,'[a,c]','[a,b,c]').

/* Background knowledge */
del(a,'[a,b,c]','[b,c]').
del(b,'[a,b,c]','[a,c]').
del(c,'[a,b,c]','[a,b]').
del(a,'[a,b]','[b]').
del(a,'[a,c]','[c]').
del(b,'[a,b]','[a]').
del(b,'[b,c]','[c]').
del(c,'[a,c]','[a]').
del(c,'[b,c]','[b]').
del(a,'[a]', []).
del(b,'[b]', []).
del(c,'[c]', []).

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,[]).