domains list=symbol* predicates del(symbol,list,list) clauses del(X,[X|Tail],Tail). del(X,[Y|Tail],[Y|Tail1]):- del(X,Tail,Tail1). OUT PUT ======= Goal: del(c,[a,b,c,d,e],NewList) NewList=[\"a\",\"b\",\"d\",\"e\"] 1 Solution -------------------------------- Goal: del(a,[b,a,c,a],L) L=[\"b\",\"c\",\"a\"] L=[\"b\",\"a\",\"c\"] 2 Solutions