Logo Studenta

generate test data(M,Args,[RMin,RMax],Z) :- domain(Args,RMin,RMax), Goal =..[M,Args,Z], call(Goal), once(labeling([ff],Args)).