% Output declarations: materialize/2 selects the relations written to this example's golden output. materialize(ageAbove, 2). % Program structure: facts set up the ...