Named tuples?

Author: afs

shacl12-inf-rules/index.html

@@ -988,10 +988,7 @@ <h3>RDF Rules Syntax</h3>
           </ul>
         </div>
         <div class="ednote">
-          <p>Describe how the abstract model maps to triples??.
-            way round - copes with extra triples.
-            Output is the instance of the abtract model that generates the triples -
-            but need to define "maximal".
+          <p>Alternative: Describe how the abstract model maps to triples.
         </p>
         </div>
 
@@ -1237,6 +1234,19 @@ <h2>Assignment restrictions</h3>
           </p>
           <p>Do we need "order" in the syntax?</p>
         </div>
+      </section>
+      <section id="tuples">
+        <h2>Work space named tuples</h3>
+        <div class="ednote">
+          <p>@@ Discussion</p>
+          <p>
+            Currently, SHACL Rules is, in datatlog-speak, only unnamed 3-tuples.
+            To support "programming" in rules, should we allow transient (not part of the output, 
+            only during rulset evaluation) named n-tuples? <br/>
+            e.g. <code>name(termOrVar, ...)</code>, possibly with a unique marker e.g. <code>`</code> 
+            giving <code>`name(termOrVar, ...)</code>.
+          </p> 
+        </div>
       </section >
     </section>