% so the finite digit search prunes early without cut. % Output declarations: materialize/2 selects the relations written to this example's golden output. materialize ...
% so the finite digit search prunes early without cut. materialize(status, 2). materialize(assignment, 2). materialize(equation, 2).