@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix rgml: <http://purl.org/puninj/2001/05/rgml-schema#> .
@prefix log: <http://www.w3.org/2000/10/swap/log#> .
@prefix : <rgml_rules#> .

:isource rdfs:domain rgml:Node; rdfs:range rgml:Edge .
:itarget rdfs:domain rgml:Node; rdfs:range rgml:Edge .
  
:adjacent  rdfs:domain rgml:Node; rdfs:range rgml:Node.
:parent  rdfs:domain rgml:Node; rdfs:range rgml:Node.
:child  rdfs:domain rgml:Node; rdfs:range rgml:Node.
:path  rdfs:domain rgml:Node; rdfs:range rgml:Node.

{{ :u rgml:source :v. } log:implies { :v :isource :u. }; } 
   a log:Truth; log:forAll :u, :v.

{{ :u rgml:target :v. } log:implies { :v :itarget :u. }; } 
   a log:Truth; log:forAll :u, :v.
 
{{:e rgml:source :u. :e rgml:target :v.} log:implies { :u :adjacent :v } } 
      a log:Truth; log:forAll :e, :u, :v.

{{ :u :adjacent :v. } log:implies { :v :adjacent :u. } } 
     a log:Truth; log:forAll :u, :v.

{{ :g rgml:directed "true". :e rgml:source :u. :e rgml:target :v.} 
     log:implies { :u :parent :v. } } 
     a log:Truth; log:forAll :g, :e, :u, :v.

{{ :g rgml:directed "true". :u :parent :v. } 
   log:implies { :v :child :u. }; } 
   a log:Truth; log:forAll :u, :v, :g.
  
{{ :g rgml:directed "true". :u :parent :v} 
     log:implies {:u :path :v}} 
     a log:Truth; log:forAll :g, :u, :v.

{{ :g rgml:directed "true". :u :parent :v. :v :path :w} 
     log:implies {:u :path :w}} 
     a log:Truth; log:forAll :g, :u, :v, :w.

{{ :g rgml:directed "false". :u :adjacent :v} 
   log:implies {:u :path :v}} 
   a log:Truth; log:forAll :g, :x, :y.

{{ :g rgml:directed "false". :u :adjacent :v. :v :path :w} 
   log:implies {:u :path :w}} 
   a log:Truth; log:forAll :g, :u, :v, :w.