name(n3test10). :- dynamic 'rdf:type'/2. (_ axiom ([] : Y)) :- Y. true => 'rdf:type'(':N0',':ind'). 'rdf:type'(':N0',X) => 'rdf:type'(':N1',X). 'rdf:type'(':N0',X) => 'rdf:type'(':I1',X). 'rdf:type'(':N0',X) => 'rdf:type'(':J1',X). 'rdf:type'(':N1',X) => 'rdf:type'(':N2',X). 'rdf:type'(':N1',X) => 'rdf:type'(':I2',X). 'rdf:type'(':N1',X) => 'rdf:type'(':J2',X). 'rdf:type'(':N2',X) => 'rdf:type'(':N3',X). 'rdf:type'(':N2',X) => 'rdf:type'(':I3',X). 'rdf:type'(':N2',X) => 'rdf:type'(':J3',X). 'rdf:type'(':N3',X) => 'rdf:type'(':N4',X). 'rdf:type'(':N3',X) => 'rdf:type'(':I4',X). 'rdf:type'(':N3',X) => 'rdf:type'(':J4',X). 'rdf:type'(':N4',X) => 'rdf:type'(':N5',X). 'rdf:type'(':N4',X) => 'rdf:type'(':I5',X). 'rdf:type'(':N4',X) => 'rdf:type'(':J5',X). 'rdf:type'(':N5',X) => 'rdf:type'(':N6',X). 'rdf:type'(':N5',X) => 'rdf:type'(':I6',X). 'rdf:type'(':N5',X) => 'rdf:type'(':J6',X). 'rdf:type'(':N6',X) => 'rdf:type'(':N7',X). 'rdf:type'(':N6',X) => 'rdf:type'(':I7',X). 'rdf:type'(':N6',X) => 'rdf:type'(':J7',X). 'rdf:type'(':N7',X) => 'rdf:type'(':N8',X). 'rdf:type'(':N7',X) => 'rdf:type'(':I8',X). 'rdf:type'(':N7',X) => 'rdf:type'(':J8',X). 'rdf:type'(':N8',X) => 'rdf:type'(':N9',X). 'rdf:type'(':N8',X) => 'rdf:type'(':I9',X). 'rdf:type'(':N8',X) => 'rdf:type'(':J9',X). 'rdf:type'(':N9',X) => 'rdf:type'(':N10',X). 'rdf:type'(':N9',X) => 'rdf:type'(':I10',X). 'rdf:type'(':N9',X) => 'rdf:type'(':J10',X). 'rdf:type'(':N10',X) => 'rdf:type'(':A2',X). 'rdf:type'(':A2',X) => goal.