%%%%%%%%%%%%%%%%%%   names/2    %%%%%%%%%%%%%%%%%%%%%%%


bg_model([person(mick,jagger),
	         person(david,bowie),
	         person(tina,turner),
	         person(johann,sebastian),
	         person(ludwig,van)
	        ]).


query4(Clauses):-
	induce_rlgg([+names([],[]),
	             +names([david,turner,johann],
																					[p(david,bowie),p(tina,turner),p(johann,sebastian)]),
	             +names([johann],[p(johann,sebastian)]),
	             +names([turner,johann],[p(tina,turner),p(johann,sebastian)]),
	             +names([bowie],[p(david,bowie)]),
	             -names([mick,johann],[p(mick,mick),p(johann,sebastian)]),
	             -names([david,turner,johann],[p(david,bowie)]),
	             -names([van],[p(ludwig,van),p(ludwig,van)])
	            ],Clauses).

