% 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).
一部の結果でアクセス不可の可能性があるため、非表示になっています。
アクセス不可の結果を表示する