orsharir

:-set_prolog_flag(encoding,utf8).
:-encoding(utf8).
:-op(500, yfx, delta).
run:-
	open('proof.txt', write, Out),
	(with_output_to(Out, test_assoc);true),
	close(Out).
test_assoc:-
	A = set('A'),
	B = set('B'),