# N3 example of rule format proposed for RDF Expert System Shell

@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix ess: <http://id.mimesweeper.com/RDFExpert/V1.0/ess#> .
@prefix ex:  <http://example.org/#> .

[ rdf:type ess:Rule ;
  ess:from  ex:genid1 ;
  ess:from  ex:genid2 ;
  ess:infer ex:genid3 ;
  ess:infer ex:genid4 ] .

ex:genid1 rdf:type ess:Fact ;
         ess:pred ex:a1 ;
         ess:args [ rdf:type ess:Cons ;
                    ess:head ex:a1s ;
                    ess:tail [ rdf:type ess:Cons ;
                               ess:head ex:a1v2 ;
                               ess:tail [ rdf:type ess:Cons ;
                                          ess:head ex:a1v3 ;
                                          ess:tail ess:Nil ]]] .

ex:genid2 rdf:type ess:Fact ;
         ess:pred ex:a2 ;
         ess:args [ rdf:type ess:Cons ;
                    ess:head ex:a2s ;
                    ess:tail [ rdf:type ess:Cons ;
                               ess:head ex:a2v2 ;
                               ess:tail ess:Nil ]] .

ex:genid3 rdf:type ess:Fact ;
         ess:pred ex:c1 ;
         ess:args [ rdf:type ess:Cons ;
                    ess:head ex:c1s ;
                    ess:tail [ rdf:type ess:Cons ;
                               ess:head ex:c1v2 ;
                               ess:tail [ rdf:type ess:Cons ;
                                          ess:head ex:c1v3 ;
                                          ess:tail ess:Nil ]]] .

ex:genid4 rdf:type ess:Fact ;
         ess:pred ex:c2 ;
         ess:args [ rdf:type ess:Cons ;
                    ess:head ex:c2s ;
                    ess:tail ess:Nil ] .