RULESET "any old string" INCLUDE , { RULE "some other string" { ?x my:P ?y } => { ?y my:P ?x } RULE "construct" CONSTRUCT {} WHERE {} RULE "Fortesque" { ?x my:P ?y. ?y my:Q ?z } => { ?x my:PQ ?z } RULE "Tom", "Dick", "Harry" { [] my:P my:Q } => { my:Q rdf:type my:Class } RULE "le chat"@fr { [my:A 17] my:P my:Q } => { my:Q rdf:type my:Class } RULE "with aggregation" {ALL ?x. {?x my:P ?y}} => { my:P my:count count(?x)} RULE { [my:A 17; my:B "chat"] my:P my:Q } => { my:Q rdf:type my:Class } RULE "with lists in" { my:a has:elements (1 2 3 4) } => { my:a rdf:type my:Quad } RULE "with unless in" { ?x my:P ?y UNLESS {?y my:hasValue 2} } => {} RULE { ?x ?p ?y FILTER( ?a > ?b ) LET ?q = ?x + 1 . ?y pre:Q ?z FILTER( f(?x, ?z) ) } => { ?x my:foo ?y } } FROM NAMED x:y RUN x, y; p, q