eyeling 1.24.1 → 1.24.3

package/see/examples/_see.js

@@ -7,11 +7,31 @@ function lit(value) { return { kind: 'lit', value }; }
 function blank(value) { return { kind: 'blank', value }; }
 function list(items) { return { kind: 'list', items }; }
 function formula(atoms) { return { kind: 'formula', atoms }; }
+function triple(s, p, o) { return { kind: 'triple', s, p, o }; }
 
 function readTermToken(text, start = 0) {
   let i = start;
   while (/\s/.test(text[i])) i += 1;
   const begin = i;
+  if (text.startsWith('<<(', i)) {
+    let depth = 0;
+    while (i < text.length) {
+      if (text[i] === '"') {
+        const [, next] = readTermToken(text, i);
+        i = next;
+        continue;
+      }
+      if (text.startsWith('<<(', i)) { depth += 1; i += 3; continue; }
+      if (text.startsWith(')>>', i)) {
+        depth -= 1;
+        i += 3;
+        if (depth === 0) break;
+        continue;
+      }
+      i += 1;
+    }
+    return [text.slice(begin, i), i];
+  }
   if (text[i] === '"') {
     i += 1;
     let escaped = false;
@@ -60,7 +80,10 @@ function splitListItems(text) {
     while (/\s/.test(text[i])) i += 1;
     if (i >= text.length) break;
     const start = i;
-    if (text[i] === '"') {
+    if (text.startsWith('<<(', i)) {
+      const [, next] = readTermToken(text, i);
+      i = next;
+    } else if (text[i] === '"') {
       i += 1;
       let escaped = false;
       while (i < text.length) {
@@ -83,9 +106,17 @@ function splitListItems(text) {
   }
   return out;
 }
+function parseTripleTermBody(text) {
+  const [s, i1] = readTermToken(text, 0);
+  const [p, i2] = readTermToken(text, i1);
+  const [o, i3] = readTermToken(text, i2);
+  if (!s || !p || !o || text.slice(i3).trim()) throw new Error('bad triple term: ' + text);
+  return triple(parseTerm(s), parseTerm(p), parseTerm(o));
+}
 function parseTerm(text) {
   const t = String(text || '').trim();
   if (!t) throw new Error('empty term');
+  if (t.startsWith('<<(') && t.endsWith(')>>')) return parseTripleTermBody(t.slice(3, -3).trim());
   const first = t[0];
   if (first === '"') return lit(JSON.parse(t));
   if (first === '(' && t[t.length - 1] === ')') return list(splitListItems(t.slice(1, -1)).map(parseTerm));
@@ -112,7 +143,7 @@ function parseInputTrigFast(trig) {
   const lines = String(trig || '').split(/\r?\n/);
   for (let i = 0; i < lines.length; i += 1) {
     const line = lines[i].trim();
-    if (!line || line.startsWith('#') || line.toLowerCase().startsWith('@prefix ')) continue;
+    if (!line || line.startsWith('#') || line.toLowerCase().startsWith('@prefix ') || /^(@version|version)\s+/i.test(line)) continue;
     const graphStart = line.match(/^(\S+)\s*\{\s*$/);
     if (graphStart) {
       const atoms = [];

package/see/examples/age.js

@@ -8,6 +8,7 @@ const crypto = require('crypto');
 
 function canonical(term) {
   if (term.kind === 'list') return ['list', term.items.map(canonical)];
+  if (term.kind === 'triple') return ['triple', canonical(term.s), canonical(term.p), canonical(term.o)];
   if (term.kind === 'formula') return ['formula', term.atoms.map((a) => [canonical(a.s), canonical(a.p), canonical(a.o)])];
   return [term.kind, term.value];
 }
@@ -17,6 +18,7 @@ function compoundIndexKey() { return Array.from(arguments).map(termIndexKey).joi
 function termIsConcrete(t) {
   if (!t || t.kind === 'var') return false;
   if (t.kind === 'list') return t.items.every(termIsConcrete);
+  if (t.kind === 'triple') return termIsConcrete(t.s) && termIsConcrete(t.p) && termIsConcrete(t.o);
   if (t.kind === 'formula') return t.atoms.every((a) => termIsConcrete(a.s) && termIsConcrete(a.p) && termIsConcrete(a.o));
   return true;
 }
@@ -32,6 +34,7 @@ function primitive(t) {
   if (t.kind === 'iri') return t.value.replace(/^:/, '');
   if (t.kind === 'blank') return t.value;
   if (t.kind === 'list') return t.items.map(primitive);
+  if (t.kind === 'triple') return termToN3(t);
   if (t.kind === 'formula') return termToN3(t);
   return undefined;
 }
@@ -52,6 +55,7 @@ function termToN3(t) {
   if (t.kind === 'var') return '?' + t.value;
   if (t.kind === 'blank') return t.value.startsWith('_:') ? t.value : '_:' + t.value.replace(/^_+/, '');
   if (t.kind === 'list') return '(' + t.items.map(termToN3).join(' ') + ')';
+  if (t.kind === 'triple') return '<<( ' + termToN3(t.s) + ' ' + termToN3(t.p) + ' ' + termToN3(t.o) + ' )>>';
   if (t.kind === 'formula') return '{ ' + t.atoms.map(atomToN3).join(' . ') + ' }';
   return String(t.value ?? t);
 }
@@ -74,6 +78,7 @@ function resolve(term, env, seen = new Set()) {
     return resolve(env[term.value], env, seen);
   }
   if (term.kind === 'list') return list(term.items.map((item) => resolve(item, env, seen)));
+  if (term.kind === 'triple') return { kind: 'triple', s: resolve(term.s, env), p: resolve(term.p, env), o: resolve(term.o, env) };
   if (term.kind === 'formula') return { kind: 'formula', atoms: term.atoms.map((a) => ({ s: resolve(a.s, env), p: resolve(a.p, env), o: resolve(a.o, env) })) };
   return term;
 }
@@ -91,6 +96,14 @@ function unify(a, b, env) {
     }
     return out;
   }
+  if (a.kind === 'triple' || b.kind === 'triple') {
+    if (a.kind !== 'triple' || b.kind !== 'triple') return null;
+    let out = unify(a.s, b.s, env);
+    if (!out) return null;
+    out = unify(a.p, b.p, out);
+    if (!out) return null;
+    return unify(a.o, b.o, out);
+  }
   return deepEqual(a, b) ? env : null;
 }
 function bind(pattern, value, env) { return unify(pattern, value, env); }
@@ -106,6 +119,7 @@ function termIsGround(t, env) {
   const r = resolve(t, env);
   if (r.kind === 'var') return false;
   if (r.kind === 'list') return r.items.every((item) => termIsGround(item, env));
+  if (r.kind === 'triple') return termIsGround(r.s, env) && termIsGround(r.p, env) && termIsGround(r.o, env);
   if (r.kind === 'formula') return r.atoms.every((atom) => atomIsGround(atom, env));
   return true;
 }
@@ -665,6 +679,7 @@ function instantiate(term, env, ruleId) {
   }
   if (term.kind === 'blank') return blank('_:r' + ruleId + '_' + envSignature(env) + '_' + term.value.replace(/^_/, ''));
   if (term.kind === 'list') return list(term.items.map((item) => instantiate(item, env, ruleId)));
+  if (term.kind === 'triple') return { kind: 'triple', s: instantiate(term.s, env, ruleId), p: instantiate(term.p, env, ruleId), o: instantiate(term.o, env, ruleId) };
   if (term.kind === 'formula') return { kind: 'formula', atoms: term.atoms.map((a) => ({ s: instantiate(a.s, env, ruleId), p: instantiate(a.p, env, ruleId), o: instantiate(a.o, env, ruleId) })) };
   return cloneTerm(term);
 }
@@ -1368,6 +1383,16 @@ function formalOutputFacts(graph, queries, rules, initialFacts) {
   }
   return out;
 }
+function termHasTripleTerm(term) {
+  if (!term) return false;
+  if (term.kind === 'triple') return true;
+  if (term.kind === 'list') return term.items.some(termHasTripleTerm);
+  if (term.kind === 'formula') return term.atoms.some(atomHasTripleTerm);
+  return false;
+}
+function atomHasTripleTerm(atom) { return termHasTripleTerm(atom.s) || termHasTripleTerm(atom.p) || termHasTripleTerm(atom.o); }
+function factsHaveTripleTerms(facts) { return (facts || []).some(atomHasTripleTerm); }
+function trigHasVersion12(trig) { return /^s*(?:@version|VERSION)s+["']1.2["']/mi.test(String(trig || '')); }
 function trigGraphBlock(label, atoms) {
   const lines = [label + ' {'];
   for (const atom of atoms || []) lines.push('  ' + atomToN3(atom) + ' .');
@@ -1415,7 +1440,8 @@ function formalOutputToTrig(facts, trig) {
   const prefixes = prefixLinesFromTrig(trig);
   if (state.needOutPrefix && !prefixes.some((line) => line.toLowerCase().startsWith('@prefix out:'))) prefixes.push('@prefix out: <https://example.org/see/output#> .');
   const nl = String.fromCharCode(10);
-  return prefixes.join(nl) + nl + nl + body.join(nl);
+  const version = factsHaveTripleTerms(facts) ? 'VERSION "1.2"' + nl + nl : '';
+  return version + prefixes.join(nl) + nl + nl + body.join(nl);
 }
 function appendFormalTrigOutput(markdown, graph, queries, rules, initialFacts, data) {
   const trig = formalOutputToTrig(formalOutputFacts(graph, queries, rules, initialFacts), data && data.trig);

package/see/examples/annotation.js

@@ -8,6 +8,7 @@ const crypto = require('crypto');
 
 function canonical(term) {
   if (term.kind === 'list') return ['list', term.items.map(canonical)];
+  if (term.kind === 'triple') return ['triple', canonical(term.s), canonical(term.p), canonical(term.o)];
   if (term.kind === 'formula') return ['formula', term.atoms.map((a) => [canonical(a.s), canonical(a.p), canonical(a.o)])];
   return [term.kind, term.value];
 }
@@ -17,6 +18,7 @@ function compoundIndexKey() { return Array.from(arguments).map(termIndexKey).joi
 function termIsConcrete(t) {
   if (!t || t.kind === 'var') return false;
   if (t.kind === 'list') return t.items.every(termIsConcrete);
+  if (t.kind === 'triple') return termIsConcrete(t.s) && termIsConcrete(t.p) && termIsConcrete(t.o);
   if (t.kind === 'formula') return t.atoms.every((a) => termIsConcrete(a.s) && termIsConcrete(a.p) && termIsConcrete(a.o));
   return true;
 }
@@ -32,6 +34,7 @@ function primitive(t) {
   if (t.kind === 'iri') return t.value.replace(/^:/, '');
   if (t.kind === 'blank') return t.value;
   if (t.kind === 'list') return t.items.map(primitive);
+  if (t.kind === 'triple') return termToN3(t);
   if (t.kind === 'formula') return termToN3(t);
   return undefined;
 }
@@ -52,6 +55,7 @@ function termToN3(t) {
   if (t.kind === 'var') return '?' + t.value;
   if (t.kind === 'blank') return t.value.startsWith('_:') ? t.value : '_:' + t.value.replace(/^_+/, '');
   if (t.kind === 'list') return '(' + t.items.map(termToN3).join(' ') + ')';
+  if (t.kind === 'triple') return '<<( ' + termToN3(t.s) + ' ' + termToN3(t.p) + ' ' + termToN3(t.o) + ' )>>';
   if (t.kind === 'formula') return '{ ' + t.atoms.map(atomToN3).join(' . ') + ' }';
   return String(t.value ?? t);
 }
@@ -74,6 +78,7 @@ function resolve(term, env, seen = new Set()) {
     return resolve(env[term.value], env, seen);
   }
   if (term.kind === 'list') return list(term.items.map((item) => resolve(item, env, seen)));
+  if (term.kind === 'triple') return { kind: 'triple', s: resolve(term.s, env), p: resolve(term.p, env), o: resolve(term.o, env) };
   if (term.kind === 'formula') return { kind: 'formula', atoms: term.atoms.map((a) => ({ s: resolve(a.s, env), p: resolve(a.p, env), o: resolve(a.o, env) })) };
   return term;
 }
@@ -91,6 +96,14 @@ function unify(a, b, env) {
     }
     return out;
   }
+  if (a.kind === 'triple' || b.kind === 'triple') {
+    if (a.kind !== 'triple' || b.kind !== 'triple') return null;
+    let out = unify(a.s, b.s, env);
+    if (!out) return null;
+    out = unify(a.p, b.p, out);
+    if (!out) return null;
+    return unify(a.o, b.o, out);
+  }
   return deepEqual(a, b) ? env : null;
 }
 function bind(pattern, value, env) { return unify(pattern, value, env); }
@@ -106,6 +119,7 @@ function termIsGround(t, env) {
   const r = resolve(t, env);
   if (r.kind === 'var') return false;
   if (r.kind === 'list') return r.items.every((item) => termIsGround(item, env));
+  if (r.kind === 'triple') return termIsGround(r.s, env) && termIsGround(r.p, env) && termIsGround(r.o, env);
   if (r.kind === 'formula') return r.atoms.every((atom) => atomIsGround(atom, env));
   return true;
 }
@@ -665,6 +679,7 @@ function instantiate(term, env, ruleId) {
   }
   if (term.kind === 'blank') return blank('_:r' + ruleId + '_' + envSignature(env) + '_' + term.value.replace(/^_/, ''));
   if (term.kind === 'list') return list(term.items.map((item) => instantiate(item, env, ruleId)));
+  if (term.kind === 'triple') return { kind: 'triple', s: instantiate(term.s, env, ruleId), p: instantiate(term.p, env, ruleId), o: instantiate(term.o, env, ruleId) };
   if (term.kind === 'formula') return { kind: 'formula', atoms: term.atoms.map((a) => ({ s: instantiate(a.s, env, ruleId), p: instantiate(a.p, env, ruleId), o: instantiate(a.o, env, ruleId) })) };
   return cloneTerm(term);
 }
@@ -1229,6 +1244,16 @@ function formalOutputFacts(graph, queries, rules, initialFacts) {
   }
   return out;
 }
+function termHasTripleTerm(term) {
+  if (!term) return false;
+  if (term.kind === 'triple') return true;
+  if (term.kind === 'list') return term.items.some(termHasTripleTerm);
+  if (term.kind === 'formula') return term.atoms.some(atomHasTripleTerm);
+  return false;
+}
+function atomHasTripleTerm(atom) { return termHasTripleTerm(atom.s) || termHasTripleTerm(atom.p) || termHasTripleTerm(atom.o); }
+function factsHaveTripleTerms(facts) { return (facts || []).some(atomHasTripleTerm); }
+function trigHasVersion12(trig) { return /^s*(?:@version|VERSION)s+["']1.2["']/mi.test(String(trig || '')); }
 function trigGraphBlock(label, atoms) {
   const lines = [label + ' {'];
   for (const atom of atoms || []) lines.push('  ' + atomToN3(atom) + ' .');
@@ -1276,7 +1301,8 @@ function formalOutputToTrig(facts, trig) {
   const prefixes = prefixLinesFromTrig(trig);
   if (state.needOutPrefix && !prefixes.some((line) => line.toLowerCase().startsWith('@prefix out:'))) prefixes.push('@prefix out: <https://example.org/see/output#> .');
   const nl = String.fromCharCode(10);
-  return prefixes.join(nl) + nl + nl + body.join(nl);
+  const version = factsHaveTripleTerms(facts) ? 'VERSION "1.2"' + nl + nl : '';
+  return version + prefixes.join(nl) + nl + nl + body.join(nl);
 }
 function appendFormalTrigOutput(markdown, graph, queries, rules, initialFacts, data) {
   const trig = formalOutputToTrig(formalOutputFacts(graph, queries, rules, initialFacts), data && data.trig);

package/see/examples/backward.js

@@ -8,6 +8,7 @@ const crypto = require('crypto');
 
 function canonical(term) {
   if (term.kind === 'list') return ['list', term.items.map(canonical)];
+  if (term.kind === 'triple') return ['triple', canonical(term.s), canonical(term.p), canonical(term.o)];
   if (term.kind === 'formula') return ['formula', term.atoms.map((a) => [canonical(a.s), canonical(a.p), canonical(a.o)])];
   return [term.kind, term.value];
 }
@@ -17,6 +18,7 @@ function compoundIndexKey() { return Array.from(arguments).map(termIndexKey).joi
 function termIsConcrete(t) {
   if (!t || t.kind === 'var') return false;
   if (t.kind === 'list') return t.items.every(termIsConcrete);
+  if (t.kind === 'triple') return termIsConcrete(t.s) && termIsConcrete(t.p) && termIsConcrete(t.o);
   if (t.kind === 'formula') return t.atoms.every((a) => termIsConcrete(a.s) && termIsConcrete(a.p) && termIsConcrete(a.o));
   return true;
 }
@@ -32,6 +34,7 @@ function primitive(t) {
   if (t.kind === 'iri') return t.value.replace(/^:/, '');
   if (t.kind === 'blank') return t.value;
   if (t.kind === 'list') return t.items.map(primitive);
+  if (t.kind === 'triple') return termToN3(t);
   if (t.kind === 'formula') return termToN3(t);
   return undefined;
 }
@@ -52,6 +55,7 @@ function termToN3(t) {
   if (t.kind === 'var') return '?' + t.value;
   if (t.kind === 'blank') return t.value.startsWith('_:') ? t.value : '_:' + t.value.replace(/^_+/, '');
   if (t.kind === 'list') return '(' + t.items.map(termToN3).join(' ') + ')';
+  if (t.kind === 'triple') return '<<( ' + termToN3(t.s) + ' ' + termToN3(t.p) + ' ' + termToN3(t.o) + ' )>>';
   if (t.kind === 'formula') return '{ ' + t.atoms.map(atomToN3).join(' . ') + ' }';
   return String(t.value ?? t);
 }
@@ -74,6 +78,7 @@ function resolve(term, env, seen = new Set()) {
     return resolve(env[term.value], env, seen);
   }
   if (term.kind === 'list') return list(term.items.map((item) => resolve(item, env, seen)));
+  if (term.kind === 'triple') return { kind: 'triple', s: resolve(term.s, env), p: resolve(term.p, env), o: resolve(term.o, env) };
   if (term.kind === 'formula') return { kind: 'formula', atoms: term.atoms.map((a) => ({ s: resolve(a.s, env), p: resolve(a.p, env), o: resolve(a.o, env) })) };
   return term;
 }
@@ -91,6 +96,14 @@ function unify(a, b, env) {
     }
     return out;
   }
+  if (a.kind === 'triple' || b.kind === 'triple') {
+    if (a.kind !== 'triple' || b.kind !== 'triple') return null;
+    let out = unify(a.s, b.s, env);
+    if (!out) return null;
+    out = unify(a.p, b.p, out);
+    if (!out) return null;
+    return unify(a.o, b.o, out);
+  }
   return deepEqual(a, b) ? env : null;
 }
 function bind(pattern, value, env) { return unify(pattern, value, env); }
@@ -106,6 +119,7 @@ function termIsGround(t, env) {
   const r = resolve(t, env);
   if (r.kind === 'var') return false;
   if (r.kind === 'list') return r.items.every((item) => termIsGround(item, env));
+  if (r.kind === 'triple') return termIsGround(r.s, env) && termIsGround(r.p, env) && termIsGround(r.o, env);
   if (r.kind === 'formula') return r.atoms.every((atom) => atomIsGround(atom, env));
   return true;
 }
@@ -665,6 +679,7 @@ function instantiate(term, env, ruleId) {
   }
   if (term.kind === 'blank') return blank('_:r' + ruleId + '_' + envSignature(env) + '_' + term.value.replace(/^_/, ''));
   if (term.kind === 'list') return list(term.items.map((item) => instantiate(item, env, ruleId)));
+  if (term.kind === 'triple') return { kind: 'triple', s: instantiate(term.s, env, ruleId), p: instantiate(term.p, env, ruleId), o: instantiate(term.o, env, ruleId) };
   if (term.kind === 'formula') return { kind: 'formula', atoms: term.atoms.map((a) => ({ s: instantiate(a.s, env, ruleId), p: instantiate(a.p, env, ruleId), o: instantiate(a.o, env, ruleId) })) };
   return cloneTerm(term);
 }
@@ -1314,6 +1329,16 @@ function formalOutputFacts(graph, queries, rules, initialFacts) {
   }
   return out;
 }
+function termHasTripleTerm(term) {
+  if (!term) return false;
+  if (term.kind === 'triple') return true;
+  if (term.kind === 'list') return term.items.some(termHasTripleTerm);
+  if (term.kind === 'formula') return term.atoms.some(atomHasTripleTerm);
+  return false;
+}
+function atomHasTripleTerm(atom) { return termHasTripleTerm(atom.s) || termHasTripleTerm(atom.p) || termHasTripleTerm(atom.o); }
+function factsHaveTripleTerms(facts) { return (facts || []).some(atomHasTripleTerm); }
+function trigHasVersion12(trig) { return /^s*(?:@version|VERSION)s+["']1.2["']/mi.test(String(trig || '')); }
 function trigGraphBlock(label, atoms) {
   const lines = [label + ' {'];
   for (const atom of atoms || []) lines.push('  ' + atomToN3(atom) + ' .');
@@ -1361,7 +1386,8 @@ function formalOutputToTrig(facts, trig) {
   const prefixes = prefixLinesFromTrig(trig);
   if (state.needOutPrefix && !prefixes.some((line) => line.toLowerCase().startsWith('@prefix out:'))) prefixes.push('@prefix out: <https://example.org/see/output#> .');
   const nl = String.fromCharCode(10);
-  return prefixes.join(nl) + nl + nl + body.join(nl);
+  const version = factsHaveTripleTerms(facts) ? 'VERSION "1.2"' + nl + nl : '';
+  return version + prefixes.join(nl) + nl + nl + body.join(nl);
 }
 function appendFormalTrigOutput(markdown, graph, queries, rules, initialFacts, data) {
   const trig = formalOutputToTrig(formalOutputFacts(graph, queries, rules, initialFacts), data && data.trig);

package/see/examples/backward_recursion.js

@@ -8,6 +8,7 @@ const crypto = require('crypto');
 
 function canonical(term) {
   if (term.kind === 'list') return ['list', term.items.map(canonical)];
+  if (term.kind === 'triple') return ['triple', canonical(term.s), canonical(term.p), canonical(term.o)];
   if (term.kind === 'formula') return ['formula', term.atoms.map((a) => [canonical(a.s), canonical(a.p), canonical(a.o)])];
   return [term.kind, term.value];
 }
@@ -17,6 +18,7 @@ function compoundIndexKey() { return Array.from(arguments).map(termIndexKey).joi
 function termIsConcrete(t) {
   if (!t || t.kind === 'var') return false;
   if (t.kind === 'list') return t.items.every(termIsConcrete);
+  if (t.kind === 'triple') return termIsConcrete(t.s) && termIsConcrete(t.p) && termIsConcrete(t.o);
   if (t.kind === 'formula') return t.atoms.every((a) => termIsConcrete(a.s) && termIsConcrete(a.p) && termIsConcrete(a.o));
   return true;
 }
@@ -32,6 +34,7 @@ function primitive(t) {
   if (t.kind === 'iri') return t.value.replace(/^:/, '');
   if (t.kind === 'blank') return t.value;
   if (t.kind === 'list') return t.items.map(primitive);
+  if (t.kind === 'triple') return termToN3(t);
   if (t.kind === 'formula') return termToN3(t);
   return undefined;
 }
@@ -52,6 +55,7 @@ function termToN3(t) {
   if (t.kind === 'var') return '?' + t.value;
   if (t.kind === 'blank') return t.value.startsWith('_:') ? t.value : '_:' + t.value.replace(/^_+/, '');
   if (t.kind === 'list') return '(' + t.items.map(termToN3).join(' ') + ')';
+  if (t.kind === 'triple') return '<<( ' + termToN3(t.s) + ' ' + termToN3(t.p) + ' ' + termToN3(t.o) + ' )>>';
   if (t.kind === 'formula') return '{ ' + t.atoms.map(atomToN3).join(' . ') + ' }';
   return String(t.value ?? t);
 }
@@ -74,6 +78,7 @@ function resolve(term, env, seen = new Set()) {
     return resolve(env[term.value], env, seen);
   }
   if (term.kind === 'list') return list(term.items.map((item) => resolve(item, env, seen)));
+  if (term.kind === 'triple') return { kind: 'triple', s: resolve(term.s, env), p: resolve(term.p, env), o: resolve(term.o, env) };
   if (term.kind === 'formula') return { kind: 'formula', atoms: term.atoms.map((a) => ({ s: resolve(a.s, env), p: resolve(a.p, env), o: resolve(a.o, env) })) };
   return term;
 }
@@ -91,6 +96,14 @@ function unify(a, b, env) {
     }
     return out;
   }
+  if (a.kind === 'triple' || b.kind === 'triple') {
+    if (a.kind !== 'triple' || b.kind !== 'triple') return null;
+    let out = unify(a.s, b.s, env);
+    if (!out) return null;
+    out = unify(a.p, b.p, out);
+    if (!out) return null;
+    return unify(a.o, b.o, out);
+  }
   return deepEqual(a, b) ? env : null;
 }
 function bind(pattern, value, env) { return unify(pattern, value, env); }
@@ -106,6 +119,7 @@ function termIsGround(t, env) {
   const r = resolve(t, env);
   if (r.kind === 'var') return false;
   if (r.kind === 'list') return r.items.every((item) => termIsGround(item, env));
+  if (r.kind === 'triple') return termIsGround(r.s, env) && termIsGround(r.p, env) && termIsGround(r.o, env);
   if (r.kind === 'formula') return r.atoms.every((atom) => atomIsGround(atom, env));
   return true;
 }
@@ -665,6 +679,7 @@ function instantiate(term, env, ruleId) {
   }
   if (term.kind === 'blank') return blank('_:r' + ruleId + '_' + envSignature(env) + '_' + term.value.replace(/^_/, ''));
   if (term.kind === 'list') return list(term.items.map((item) => instantiate(item, env, ruleId)));
+  if (term.kind === 'triple') return { kind: 'triple', s: instantiate(term.s, env, ruleId), p: instantiate(term.p, env, ruleId), o: instantiate(term.o, env, ruleId) };
   if (term.kind === 'formula') return { kind: 'formula', atoms: term.atoms.map((a) => ({ s: instantiate(a.s, env, ruleId), p: instantiate(a.p, env, ruleId), o: instantiate(a.o, env, ruleId) })) };
   return cloneTerm(term);
 }
@@ -1413,6 +1428,16 @@ function formalOutputFacts(graph, queries, rules, initialFacts) {
   }
   return out;
 }
+function termHasTripleTerm(term) {
+  if (!term) return false;
+  if (term.kind === 'triple') return true;
+  if (term.kind === 'list') return term.items.some(termHasTripleTerm);
+  if (term.kind === 'formula') return term.atoms.some(atomHasTripleTerm);
+  return false;
+}
+function atomHasTripleTerm(atom) { return termHasTripleTerm(atom.s) || termHasTripleTerm(atom.p) || termHasTripleTerm(atom.o); }
+function factsHaveTripleTerms(facts) { return (facts || []).some(atomHasTripleTerm); }
+function trigHasVersion12(trig) { return /^s*(?:@version|VERSION)s+["']1.2["']/mi.test(String(trig || '')); }
 function trigGraphBlock(label, atoms) {
   const lines = [label + ' {'];
   for (const atom of atoms || []) lines.push('  ' + atomToN3(atom) + ' .');
@@ -1460,7 +1485,8 @@ function formalOutputToTrig(facts, trig) {
   const prefixes = prefixLinesFromTrig(trig);
   if (state.needOutPrefix && !prefixes.some((line) => line.toLowerCase().startsWith('@prefix out:'))) prefixes.push('@prefix out: <https://example.org/see/output#> .');
   const nl = String.fromCharCode(10);
-  return prefixes.join(nl) + nl + nl + body.join(nl);
+  const version = factsHaveTripleTerms(facts) ? 'VERSION "1.2"' + nl + nl : '';
+  return version + prefixes.join(nl) + nl + nl + body.join(nl);
 }
 function appendFormalTrigOutput(markdown, graph, queries, rules, initialFacts, data) {
   const trig = formalOutputToTrig(formalOutputFacts(graph, queries, rules, initialFacts), data && data.trig);

package/see/examples/bayes_diagnosis.js

@@ -8,6 +8,7 @@ const crypto = require('crypto');
 
 function canonical(term) {
   if (term.kind === 'list') return ['list', term.items.map(canonical)];
+  if (term.kind === 'triple') return ['triple', canonical(term.s), canonical(term.p), canonical(term.o)];
   if (term.kind === 'formula') return ['formula', term.atoms.map((a) => [canonical(a.s), canonical(a.p), canonical(a.o)])];
   return [term.kind, term.value];
 }
@@ -17,6 +18,7 @@ function compoundIndexKey() { return Array.from(arguments).map(termIndexKey).joi
 function termIsConcrete(t) {
   if (!t || t.kind === 'var') return false;
   if (t.kind === 'list') return t.items.every(termIsConcrete);
+  if (t.kind === 'triple') return termIsConcrete(t.s) && termIsConcrete(t.p) && termIsConcrete(t.o);
   if (t.kind === 'formula') return t.atoms.every((a) => termIsConcrete(a.s) && termIsConcrete(a.p) && termIsConcrete(a.o));
   return true;
 }
@@ -32,6 +34,7 @@ function primitive(t) {
   if (t.kind === 'iri') return t.value.replace(/^:/, '');
   if (t.kind === 'blank') return t.value;
   if (t.kind === 'list') return t.items.map(primitive);
+  if (t.kind === 'triple') return termToN3(t);
   if (t.kind === 'formula') return termToN3(t);
   return undefined;
 }
@@ -52,6 +55,7 @@ function termToN3(t) {
   if (t.kind === 'var') return '?' + t.value;
   if (t.kind === 'blank') return t.value.startsWith('_:') ? t.value : '_:' + t.value.replace(/^_+/, '');
   if (t.kind === 'list') return '(' + t.items.map(termToN3).join(' ') + ')';
+  if (t.kind === 'triple') return '<<( ' + termToN3(t.s) + ' ' + termToN3(t.p) + ' ' + termToN3(t.o) + ' )>>';
   if (t.kind === 'formula') return '{ ' + t.atoms.map(atomToN3).join(' . ') + ' }';
   return String(t.value ?? t);
 }
@@ -74,6 +78,7 @@ function resolve(term, env, seen = new Set()) {
     return resolve(env[term.value], env, seen);
   }
   if (term.kind === 'list') return list(term.items.map((item) => resolve(item, env, seen)));
+  if (term.kind === 'triple') return { kind: 'triple', s: resolve(term.s, env), p: resolve(term.p, env), o: resolve(term.o, env) };
   if (term.kind === 'formula') return { kind: 'formula', atoms: term.atoms.map((a) => ({ s: resolve(a.s, env), p: resolve(a.p, env), o: resolve(a.o, env) })) };
   return term;
 }
@@ -91,6 +96,14 @@ function unify(a, b, env) {
     }
     return out;
   }
+  if (a.kind === 'triple' || b.kind === 'triple') {
+    if (a.kind !== 'triple' || b.kind !== 'triple') return null;
+    let out = unify(a.s, b.s, env);
+    if (!out) return null;
+    out = unify(a.p, b.p, out);
+    if (!out) return null;
+    return unify(a.o, b.o, out);
+  }
   return deepEqual(a, b) ? env : null;
 }
 function bind(pattern, value, env) { return unify(pattern, value, env); }
@@ -106,6 +119,7 @@ function termIsGround(t, env) {
   const r = resolve(t, env);
   if (r.kind === 'var') return false;
   if (r.kind === 'list') return r.items.every((item) => termIsGround(item, env));
+  if (r.kind === 'triple') return termIsGround(r.s, env) && termIsGround(r.p, env) && termIsGround(r.o, env);
   if (r.kind === 'formula') return r.atoms.every((atom) => atomIsGround(atom, env));
   return true;
 }
@@ -665,6 +679,7 @@ function instantiate(term, env, ruleId) {
   }
   if (term.kind === 'blank') return blank('_:r' + ruleId + '_' + envSignature(env) + '_' + term.value.replace(/^_/, ''));
   if (term.kind === 'list') return list(term.items.map((item) => instantiate(item, env, ruleId)));
+  if (term.kind === 'triple') return { kind: 'triple', s: instantiate(term.s, env, ruleId), p: instantiate(term.p, env, ruleId), o: instantiate(term.o, env, ruleId) };
   if (term.kind === 'formula') return { kind: 'formula', atoms: term.atoms.map((a) => ({ s: instantiate(a.s, env, ruleId), p: instantiate(a.p, env, ruleId), o: instantiate(a.o, env, ruleId) })) };
   return cloneTerm(term);
 }
@@ -2792,6 +2807,16 @@ function formalOutputFacts(graph, queries, rules, initialFacts) {
   }
   return out;
 }
+function termHasTripleTerm(term) {
+  if (!term) return false;
+  if (term.kind === 'triple') return true;
+  if (term.kind === 'list') return term.items.some(termHasTripleTerm);
+  if (term.kind === 'formula') return term.atoms.some(atomHasTripleTerm);
+  return false;
+}
+function atomHasTripleTerm(atom) { return termHasTripleTerm(atom.s) || termHasTripleTerm(atom.p) || termHasTripleTerm(atom.o); }
+function factsHaveTripleTerms(facts) { return (facts || []).some(atomHasTripleTerm); }
+function trigHasVersion12(trig) { return /^s*(?:@version|VERSION)s+["']1.2["']/mi.test(String(trig || '')); }
 function trigGraphBlock(label, atoms) {
   const lines = [label + ' {'];
   for (const atom of atoms || []) lines.push('  ' + atomToN3(atom) + ' .');
@@ -2839,7 +2864,8 @@ function formalOutputToTrig(facts, trig) {
   const prefixes = prefixLinesFromTrig(trig);
   if (state.needOutPrefix && !prefixes.some((line) => line.toLowerCase().startsWith('@prefix out:'))) prefixes.push('@prefix out: <https://example.org/see/output#> .');
   const nl = String.fromCharCode(10);
-  return prefixes.join(nl) + nl + nl + body.join(nl);
+  const version = factsHaveTripleTerms(facts) ? 'VERSION "1.2"' + nl + nl : '';
+  return version + prefixes.join(nl) + nl + nl + body.join(nl);
 }
 function appendFormalTrigOutput(markdown, graph, queries, rules, initialFacts, data) {
   const trig = formalOutputToTrig(formalOutputFacts(graph, queries, rules, initialFacts), data && data.trig);

package/see/examples/bayes_therapy.js

@@ -8,6 +8,7 @@ const crypto = require('crypto');
 
 function canonical(term) {
   if (term.kind === 'list') return ['list', term.items.map(canonical)];
+  if (term.kind === 'triple') return ['triple', canonical(term.s), canonical(term.p), canonical(term.o)];
   if (term.kind === 'formula') return ['formula', term.atoms.map((a) => [canonical(a.s), canonical(a.p), canonical(a.o)])];
   return [term.kind, term.value];
 }
@@ -17,6 +18,7 @@ function compoundIndexKey() { return Array.from(arguments).map(termIndexKey).joi
 function termIsConcrete(t) {
   if (!t || t.kind === 'var') return false;
   if (t.kind === 'list') return t.items.every(termIsConcrete);
+  if (t.kind === 'triple') return termIsConcrete(t.s) && termIsConcrete(t.p) && termIsConcrete(t.o);
   if (t.kind === 'formula') return t.atoms.every((a) => termIsConcrete(a.s) && termIsConcrete(a.p) && termIsConcrete(a.o));
   return true;
 }
@@ -32,6 +34,7 @@ function primitive(t) {
   if (t.kind === 'iri') return t.value.replace(/^:/, '');
   if (t.kind === 'blank') return t.value;
   if (t.kind === 'list') return t.items.map(primitive);
+  if (t.kind === 'triple') return termToN3(t);
   if (t.kind === 'formula') return termToN3(t);
   return undefined;
 }
@@ -52,6 +55,7 @@ function termToN3(t) {
   if (t.kind === 'var') return '?' + t.value;
   if (t.kind === 'blank') return t.value.startsWith('_:') ? t.value : '_:' + t.value.replace(/^_+/, '');
   if (t.kind === 'list') return '(' + t.items.map(termToN3).join(' ') + ')';
+  if (t.kind === 'triple') return '<<( ' + termToN3(t.s) + ' ' + termToN3(t.p) + ' ' + termToN3(t.o) + ' )>>';
   if (t.kind === 'formula') return '{ ' + t.atoms.map(atomToN3).join(' . ') + ' }';
   return String(t.value ?? t);
 }
@@ -74,6 +78,7 @@ function resolve(term, env, seen = new Set()) {
     return resolve(env[term.value], env, seen);
   }
   if (term.kind === 'list') return list(term.items.map((item) => resolve(item, env, seen)));
+  if (term.kind === 'triple') return { kind: 'triple', s: resolve(term.s, env), p: resolve(term.p, env), o: resolve(term.o, env) };
   if (term.kind === 'formula') return { kind: 'formula', atoms: term.atoms.map((a) => ({ s: resolve(a.s, env), p: resolve(a.p, env), o: resolve(a.o, env) })) };
   return term;
 }
@@ -91,6 +96,14 @@ function unify(a, b, env) {
     }
     return out;
   }
+  if (a.kind === 'triple' || b.kind === 'triple') {
+    if (a.kind !== 'triple' || b.kind !== 'triple') return null;
+    let out = unify(a.s, b.s, env);
+    if (!out) return null;
+    out = unify(a.p, b.p, out);
+    if (!out) return null;
+    return unify(a.o, b.o, out);
+  }
   return deepEqual(a, b) ? env : null;
 }
 function bind(pattern, value, env) { return unify(pattern, value, env); }
@@ -106,6 +119,7 @@ function termIsGround(t, env) {
   const r = resolve(t, env);
   if (r.kind === 'var') return false;
   if (r.kind === 'list') return r.items.every((item) => termIsGround(item, env));
+  if (r.kind === 'triple') return termIsGround(r.s, env) && termIsGround(r.p, env) && termIsGround(r.o, env);
   if (r.kind === 'formula') return r.atoms.every((atom) => atomIsGround(atom, env));
   return true;
 }
@@ -665,6 +679,7 @@ function instantiate(term, env, ruleId) {
   }
   if (term.kind === 'blank') return blank('_:r' + ruleId + '_' + envSignature(env) + '_' + term.value.replace(/^_/, ''));
   if (term.kind === 'list') return list(term.items.map((item) => instantiate(item, env, ruleId)));
+  if (term.kind === 'triple') return { kind: 'triple', s: instantiate(term.s, env, ruleId), p: instantiate(term.p, env, ruleId), o: instantiate(term.o, env, ruleId) };
   if (term.kind === 'formula') return { kind: 'formula', atoms: term.atoms.map((a) => ({ s: instantiate(a.s, env, ruleId), p: instantiate(a.p, env, ruleId), o: instantiate(a.o, env, ruleId) })) };
   return cloneTerm(term);
 }
@@ -4061,6 +4076,16 @@ function formalOutputFacts(graph, queries, rules, initialFacts) {
   }
   return out;
 }
+function termHasTripleTerm(term) {
+  if (!term) return false;
+  if (term.kind === 'triple') return true;
+  if (term.kind === 'list') return term.items.some(termHasTripleTerm);
+  if (term.kind === 'formula') return term.atoms.some(atomHasTripleTerm);
+  return false;
+}
+function atomHasTripleTerm(atom) { return termHasTripleTerm(atom.s) || termHasTripleTerm(atom.p) || termHasTripleTerm(atom.o); }
+function factsHaveTripleTerms(facts) { return (facts || []).some(atomHasTripleTerm); }
+function trigHasVersion12(trig) { return /^s*(?:@version|VERSION)s+["']1.2["']/mi.test(String(trig || '')); }
 function trigGraphBlock(label, atoms) {
   const lines = [label + ' {'];
   for (const atom of atoms || []) lines.push('  ' + atomToN3(atom) + ' .');
@@ -4108,7 +4133,8 @@ function formalOutputToTrig(facts, trig) {
   const prefixes = prefixLinesFromTrig(trig);
   if (state.needOutPrefix && !prefixes.some((line) => line.toLowerCase().startsWith('@prefix out:'))) prefixes.push('@prefix out: <https://example.org/see/output#> .');
   const nl = String.fromCharCode(10);
-  return prefixes.join(nl) + nl + nl + body.join(nl);
+  const version = factsHaveTripleTerms(facts) ? 'VERSION "1.2"' + nl + nl : '';
+  return version + prefixes.join(nl) + nl + nl + body.join(nl);
 }
 function appendFormalTrigOutput(markdown, graph, queries, rules, initialFacts, data) {
   const trig = formalOutputToTrig(formalOutputFacts(graph, queries, rules, initialFacts), data && data.trig);