test-IsolationCat_1.assembly.lp
No OneTemporary
Actions

Subscribers

None

File Metadata

	% Register late query for `sizo_current`
	%-----------------------------------
	late(Target, SymbolSizo, (SizoAny), sizo_current(SizoAny)):-
	bind(Target, demand(sizo));
	Target=s(_, _, TargetS);
	scope_fnbody(TargetS, FnBody);
	latex_symbol(FnBody, sizo, SymbolSizo);
	virt_sizo(SizoAny).


	% Categories Reasoning
	%=========================================================== .
	virt_sizo_category(Sizo, Category):-
	bind_scope(Scope, assign_sizo_category(Category), strong);
	bind_scope(Scope, assign_sizo(Sizo), strong);
	virt_sizo(Sizo).

	2{
	virt_sizo_strategy(SizoOther, files, prefix);
	decided(virt_strategy(SizoOther, files), 3;2)
	}:-
	virt_sizo_control(SizoSelf, files);
	virt_sizo_category(SizoSelf, inward);

	virt_sizo_control(SizoOther, files);
	SizoOther <> SizoSelf.

	2{
	virt_sizo_strategy(SizoSelf, files, prefix);
	decided(virt_strategy(SizoSelf, files), 3;2)
	}:-
	virt_sizo_control(SizoSelf, files);
	virt_sizo_category(SizoSelf, outward).

	2{
	virt_sizo_strategy(Sizo, files, direct);
	decided(virt_strategy(Sizo, files), 2)
	}:-
	virt_sizo_control(Sizo, files);
	not decided(virt_strategy(Sizo, files), 3).