%%%%%%%%%%%%%%%%%%  append/3   %%%%%%%%%%%%%%%%%%%%%%%

bg_model([]).

query2(Clauses):-
	induce_rlgg([+append([1,2],[3,4],[1,2,3,4]),
	             +append([a],[],[a]),
	             +append([],[],[]),
	             +append([],[1,2,3],[1,2,3]),
	             +append([2],[3,4],[2,3,4]),
	             +append([],[3,4],[3,4]),
	             -append([a],[b],[b]),
	             -append([c],[b],[c,a]),
	             -append([1,2],[],[1,3])
	            ],Clauses).

