@prefix rdf:  <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix foaf: <http://xmlns.com/foaf/0.1/> .
@prefix rep:  <http://id.ninebynine.org/wip/2002/ReportGen/> .
@prefix dc:   <http://purl.org/dc/elements/1.1/> .
@prefix protocol: <http://id.ninebynine.org/wip/2002/Protocols#> .
@prefix prep:     <http://id.ninebynine.org/wip/2002/Protocols/Report#> .

rep:GenReport a rep:Report ; :-
  ( [ rep:cmd rep:if ; rep:defined "Output" ; rep:do prep:HTMLReport ] ) .
   
prep:HTMLReport a rep:Report ; :-
  ( [ rep:cmd rep:open  ; rep:chan "t" ; rep:file ( [ rep:var "Output" ] ".html" ) ]
    [ rep:cmd rep:if ; rep:pattern prep:ThisPattern ;
              rep:do
                ( [ rep:cmd rep:write ; rep:chan "t" ;
                                        rep:data prep:ThisHead ]
                  [ rep:do  prep:GenProtoReport ]
                  [ rep:cmd rep:write ; rep:chan "t" ;
                                        rep:data prep:ThisFoot ] ) ;
              rep:else
                ( [ rep:cmd rep:write ; rep:chan "t" ;
                            rep:data prep:NoReport ] ) ]
    [ rep:cmd rep:close ; rep:chan "t" ]
  ) .

prep:GenProtoReport :-
  ( [ rep:cmd rep:for   ; rep:pattern prep:ProtoPattern ;
      rep:do
        ( [ rep:cmd rep:write ; rep:chan "t" ; rep:data prep:Proto1 ]
          [ rep:cmd rep:for   ; rep:pattern prep:ProtoTypePattern ;
            rep:first
              ( [ rep:cmd rep:write ; rep:chan "t" ; rep:data prep:Proto2first ] ) ;
            rep:do
              ( [ rep:cmd rep:write ; rep:chan "t" ; rep:data prep:Proto2 ] ) ;
            rep:sep
              ( [ rep:cmd rep:write ; rep:chan "t" ; rep:data prep:Proto2sep ] ) ;
            rep:last
              ( [ rep:cmd rep:write ; rep:chan "t" ; rep:data prep:Proto2last ] ) ]
          [ rep:cmd rep:for   ; rep:pattern prep:ProtoSpecPattern ;
            rep:first
              ( [ rep:cmd rep:write ; rep:chan "t" ; rep:data prep:Proto3first ] ) ;
            rep:do
              ( [ rep:cmd rep:write ; rep:chan "t" ; rep:data prep:Proto3 ] ) ;
            rep:sep
              ( [ rep:cmd rep:write ; rep:chan "t" ; rep:data prep:Proto3sep ] ) ;
            rep:last
              ( [ rep:cmd rep:write ; rep:chan "t" ; rep:data prep:Proto3last ] ) ]
          [ rep:cmd rep:for   ; rep:pattern prep:ProtoUsesPattern ;
            rep:first
              ( [ rep:cmd rep:write ; rep:chan "t" ; rep:data prep:Proto4first ] ) ;
            rep:do
              ( [ rep:cmd rep:write ; rep:chan "t" ; rep:data prep:Proto4 ] ) ;
            rep:sep
              ( [ rep:cmd rep:write ; rep:chan "t" ; rep:data prep:Proto4sep ] ) ;
            rep:last
              ( [ rep:cmd rep:write ; rep:chan "t" ; rep:data prep:Proto4last ] ) ]
          [ rep:cmd rep:for   ; rep:pattern prep:ProtoCanUsePattern ;
            rep:first
              ( [ rep:cmd rep:write ; rep:chan "t" ; rep:data prep:Proto5first ] ) ;
            rep:do
              ( [ rep:cmd rep:write ; rep:chan "t" ; rep:data prep:Proto5 ] ) ;
            rep:sep
              ( [ rep:cmd rep:write ; rep:chan "t" ; rep:data prep:Proto5sep ] ) ;
            rep:last
              ( [ rep:cmd rep:write ; rep:chan "t" ; rep:data prep:Proto5last ] ) ]
          [ rep:cmd rep:for   ; rep:pattern prep:ProtoUsedByPattern ;
            rep:first
              ( [ rep:cmd rep:write ; rep:chan "t" ; rep:data prep:UsedByFirst ] ) ;
            rep:do
              ( [ rep:cmd rep:write ; rep:chan "t" ; rep:data prep:UsedByItem ] ) ;
            rep:sep
              ( [ rep:cmd rep:write ; rep:chan "t" ; rep:data prep:UsedBySep ] ) ;
            rep:last
              ( [ rep:cmd rep:write ; rep:chan "t" ; rep:data prep:UsedByLast ] ) ]
          [ rep:cmd rep:for   ; rep:pattern prep:ProtoContainsPattern ;
            rep:first
              ( [ rep:cmd rep:write ; rep:chan "t" ; rep:data prep:Proto6first ] ) ;
            rep:do
              ( [ rep:cmd rep:write ; rep:chan "t" ; rep:data prep:Proto6 ] ) ;
            rep:sep
              ( [ rep:cmd rep:write ; rep:chan "t" ; rep:data prep:Proto6sep ] ) ;
            rep:last
              ( [ rep:cmd rep:write ; rep:chan "t" ; rep:data prep:Proto6last ] ) ]
          [ rep:cmd rep:for   ; rep:pattern prep:ProtoCanContainPattern ;
            rep:first
              ( [ rep:cmd rep:write ; rep:chan "t" ; rep:data prep:Proto7first ] ) ;
            rep:do
              ( [ rep:cmd rep:write ; rep:chan "t" ; rep:data prep:Proto7 ] ) ;
            rep:sep
              ( [ rep:cmd rep:write ; rep:chan "t" ; rep:data prep:Proto7sep ] ) ;
            rep:last
              ( [ rep:cmd rep:write ; rep:chan "t" ; rep:data prep:Proto7last ] ) ]
          [ rep:cmd rep:for   ; rep:pattern prep:ProtoCannotContainPattern ;
            rep:first
              ( [ rep:cmd rep:write ; rep:chan "t" ; rep:data prep:Proto8first ] ) ;
            rep:do
              ( [ rep:cmd rep:write ; rep:chan "t" ; rep:data prep:Proto8 ] ) ;
            rep:sep
              ( [ rep:cmd rep:write ; rep:chan "t" ; rep:data prep:Proto8sep ] ) ;
            rep:last
              ( [ rep:cmd rep:write ; rep:chan "t" ; rep:data prep:Proto8last ] ) ]
          [ rep:cmd rep:write ; rep:chan "t" ; rep:data prep:Proto9 ]
        ) ]
  ) .


#### query patterns ####

# About the current document
prep:ThisPattern :-
  ( [ rep:var "thisinfo" ]
    [ rep:and
      ( [ rep:uri rdfs:label ]   [ rep:var "ThisLabel" ] ),
      ( [ rep:uri dc:author ]    [ rep:var "ThisAuthor" ] ),
      ( [ rep:uri dc:date ]      [ rep:var "ThisDate" ] ),
      ( [ rep:uri rdfs:comment ] [ rep:var "ThisComment" ] )
    ]
  ) .

# Protocol info pattern
prep:ProtoPattern :-
  ( [ rep:var "protoinfo" ]
    [ rep:and
      ( [ rep:uri rdf:type ]     [ rep:uri protocol:Protocol ] ),
      ( [ rep:uri rdfs:label ]   [ rep:var "ProtoLabel" ] ),
      ( [ rep:uri rdfs:comment ] [ rep:var "ProtoDescr" ] )
    ]
  ) .

# Protocol type pattern
prep:ProtoTypePattern :-
  ( [ rep:var "protoinfo" ]
    [ rep:uri protocol:type ] [ rep:var "ProtoType" ]
    [ rep:uri rdfs:label ]    [ rep:var "ProtoTypeLabel" ]
  ) .

# Protocol specification pattern
prep:ProtoSpecPattern :-
  ( [ rep:var "protoinfo" ] 
    [ rep:uri protocol:specification ] [ rep:var "ProtoSpec" ] 
  ) .

# Protocol uses pattern
prep:ProtoUsesPattern :-
  ( [ rep:var "protoinfo" ] 
    [ rep:uri protocol:uses ] [ rep:var "ProtoUses" ] 
    [ rep:uri rdfs:label ]    [ rep:var "ProtoUsesLabel" ]
  ) .

# Protocol can-use pattern
prep:ProtoCanUsePattern :-
  ( [ rep:var "protoinfo" ] 
    [ rep:uri protocol:canUse ] [ rep:var "ProtoCanUse" ] 
    [ rep:uri rdfs:label ]      [ rep:var "ProtoCanUseLabel" ]
  ) .

# Protocol used-by pattern
prep:ProtoUsedByPattern :-
  ( [ rep:var "ProtoUsedBy" ] 
    [ rep:and
      ( [ rep:uri protocol:uses ] [ rep:var "protoinfo" ] ),
      ( [ rep:uri rdfs:label ]    [ rep:var "ProtoUsedByLabel" ] ) ]
  ) .

# Protocol contains pattern
prep:ProtoContainsPattern :-
  ( [ rep:var "protoinfo" ] 
    [ rep:uri protocol:contains ] [ rep:var "ProtoContains" ] 
    [ rep:uri rdfs:label ]        [ rep:var "ProtoContainsLabel" ]
  ) .

# Protocol can-contain pattern
prep:ProtoCanContainPattern :-
  ( [ rep:var "protoinfo" ] 
    [ rep:uri protocol:canContain ] [ rep:var "ProtoCanContain" ] 
    [ rep:uri rdfs:label ]          [ rep:var "ProtoCanContainLabel" ]
  ) .

# Protocol cannot-contain pattern
prep:ProtoCannotContainPattern :-
  ( [ rep:var "protoinfo" ] 
    [ rep:uri protocol:cannotContain ] [ rep:var "ProtoCannotContain" ] 
    [ rep:uri rdfs:label ]             [ rep:var "ProtoCannotContainLabel" ]
  ) .

#### output templates ####

prep:ThisHead :-
  ( "<?xml version='1.0' encoding='UTF-8'?>" rep:nl
    "<!DOCTYPE html PUBLIC '-//W3C//DTD XHTML 1.0 Strict//EN'"
     " 'http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd'>"
    "<html xmlns='http://www.w3.org/1999/xhtml' xml:lang='en' lang='en'>" rep:nl
    "<head>" rep:nl
    "<title>" [rep:var "ThisLabel"] "</title>" rep:nl
    "</head>" rep:nl
    "<body>" rep:nl
    rep:nl
    "<h1>" [rep:var "ThisLabel"] "</h1>" rep:nl
    "<dl>" rep:nl
    "<dt>Prepared by:</dt><dd>" [rep:var "ThisAuthor"] "</dd>" rep:nl
    "<dt>Date:</dt><dd>" [rep:var "ThisDate"] "</dd>" rep:nl
    "</dl>" rep:nl
    "<p>" [rep:var "ThisComment"] "</p>" rep:nl
    "<hr/>" rep:nl
  ) .

prep:ThisFoot :-
  ( "</body>" rep:nl
    "</html>" rep:nl
  ) .

prep:NoReport :-
  ( "<?xml version='1.0' encoding='UTF-8'?>" rep:nl
    "<!DOCTYPE html PUBLIC '-//W3C//DTD XHTML 1.0 Strict//EN'"
     " 'http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd'>"
    "<html xmlns='http://www.w3.org/1999/xhtml' xml:lang='en' lang='en'>" rep:nl
    "<head>" rep:nl
    "<title>Empty report</title>" rep:nl
    "</head>" rep:nl
    "<body>" rep:nl
    "<p>Nothing found to report.</p>" rep:nl
    "</body>" rep:nl
    "</html>" rep:nl
  ) .

# Protocol table and name
prep:Proto1 :-
  ( "<h2 id='" [ rep:local "protoinfo" ] "' >"
    [ rep:var "ProtoLabel" ] "</h2>" rep:nl
    "<table border='1' rules='rows' width='100%' >" rep:nl
  ) .

# Protocol type info
prep:Proto2first :-
  ( "<tr valign='top'><td width='25%'>Specification type:</td> <td>" rep:nl ) .

prep:Proto2 :-
  ( [ rep:var "ProtoTypeLabel" ] ) .

prep:Proto2sep :-
  ( ", " ) .

prep:Proto2last :-
  ( "</td></tr>" ) .

# Specification

prep:Proto3first :-
  ( "<tr valign='top'><td>Specification(s):</td> <td>" rep:nl ) .

prep:Proto3 :-
  ( "<a href='" [ rep:var "ProtoSpec" ] "'>" [ rep:var "ProtoSpec" ] "</a>" ) .

prep:Proto3sep :-
  ( "<br/>" rep:nl ) .

prep:Proto3last :-
  ( "</td></tr>" rep:nl ) .

# Uses

prep:Proto4first :-
  ( "<tr valign='top'><td>Uses:</td> <td>" rep:nl ) .

prep:Proto4 :-
  ( "<a href='#" [ rep:local "ProtoUses" ] "'>" [ rep:var "ProtoUsesLabel" ] "</a>" ) .

prep:Proto4sep :-
  ( "<br/>" rep:nl ) .

prep:Proto4last :-
  ( "</td></tr>" rep:nl ) .

# Can-use

prep:Proto5first :-
  ( "<tr valign='top'><td>Can use:</td> <td>" rep:nl ) .

prep:Proto5 :-
  ( "<a href='#" [ rep:local "ProtoCanUse" ] "'>" [ rep:var "ProtoCanUseLabel" ] "</a>" ) .

prep:Proto5sep :-
  ( "<br/>" rep:nl ) .

prep:Proto5last :-
  ( "</td></tr>" rep:nl ) .

# Used-by

prep:UsedByFirst :-
  ( "<tr valign='top'><td>Used by:</td> <td>" rep:nl ) .

prep:UsedByItem :-
  ( "<a href='#" [ rep:local "ProtoUsedBy" ] "'>" [ rep:var "ProtoUsedByLabel" ] "</a>" ) .

prep:UsedBySep :-
  ( "<br/>" rep:nl ) .

prep:UsedByLast :-
  ( "</td></tr>" rep:nl ) .

# Contains

prep:Proto6first :-
  ( "<tr valign='top'><td>Contains or carries:</td> <td>" rep:nl ) .

prep:Proto6 :-
  ( "<a href='#" [ rep:local "ProtoContains" ] "'>" [ rep:var "ProtoContainsLabel" ] "</a>" ) .

prep:Proto6sep :-
  ( "<br/>" rep:nl ) .

prep:Proto6last :-
  ( "</td></tr>" rep:nl ) .

# Can-contain

prep:Proto7first :-
  ( "<tr valign='top'><td>Can contain or carry:</td> <td>" rep:nl ) .

prep:Proto7 :-
  ( "<a href='#" [ rep:local "ProtoCanContain" ] "'>" [ rep:var "ProtoCanContainLabel" ] "</a>" ) .

prep:Proto7sep :-
  ( "<br/>" rep:nl ) .

prep:Proto7last :-
  ( "</td></tr>" rep:nl ) .

# Cannot-contain

prep:Proto8first :-
  ( "<tr valign='top'><td>Cannot contain or carry:</td> <td>" rep:nl ) .

prep:Proto8 :-
  ( "<a href='#" [ rep:local "ProtoCannotContain" ] "'>" [ rep:var "ProtoCannotContainLabel" ] "</a>" ) .

prep:Proto8sep :-
  ( "<br/>" rep:nl ) .

prep:Proto8last :-
  ( "</td></tr>" rep:nl ) .

# Protocol description end table
prep:Proto9 :-
  ( 
    "<tr><td colspan='2'>" [ rep:var "ProtoDescr" ] "</td></tr>" rep:nl
    "</table>"
  ) .