eyeling 1.5.27 → 1.5.28

package/eyeling.js

@@ -235,6 +235,12 @@ function lex(inputText) {
         i += 2;
         continue;
       }
+      // N3 predicate inversion: "<-" (swap subject/object for this predicate)
+      if (peek(1) === "-") {
+        tokens.push(new Token("OpPredInvert"));
+        i += 2;
+        continue;
+      }
       // Otherwise IRIREF <...>
       i++; // skip '<'
       const iriChars = [];
@@ -823,9 +829,14 @@ class Parser {
     while (true) {
       // Verb (can also be 'a')
       let pred;
+      let invert = false;
       if (this.peek().typ === "Ident" && (this.peek().value || "") === "a") {
         this.next();
         pred = new Iri(RDF_NS + "type");
+      } else if (this.peek().typ === "OpPredInvert") {
+        this.next(); // consume "<-"
+        pred = this.parseTerm();
+        invert = true;
       } else {
         pred = this.parseTerm();
       }
@@ -838,7 +849,8 @@ class Parser {
       }
 
       for (const o of objs) {
-        this.pendingTriples.push(new Triple(subj, pred, o));
+        this.pendingTriples.push(invert ? new Triple(o, pred, subj)
+                                       : new Triple(subj, pred, o));
       }
 
       if (this.peek().typ === "Semicolon") {
@@ -906,14 +918,21 @@ class Parser {
     const out = [];
     while (true) {
       let verb;
+      let invert = false;
       if (this.peek().typ === "Ident" && (this.peek().value || "") === "a") {
         this.next();
         verb = new Iri(RDF_NS + "type");
+      } else if (this.peek().typ === "OpPredInvert") {
+        this.next(); // consume "<-"
+        verb = this.parseTerm(); // predicate expression
+        invert = true;
       } else {
         verb = this.parseTerm();
       }
       const objects = this.parseObjectList();
-      for (const o of objects) out.push(new Triple(subject, verb, o));
+      for (const o of objects) {
+        out.push(new Triple(invert ? o : subject, verb, invert ? subject : o));
+      }
 
       if (this.peek().typ === "Semicolon") {
         this.next();

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "eyeling",
-  "version": "1.5.27",
+  "version": "1.5.28",
   "description": "A minimal Notation3 (N3) reasoner in JavaScript.",
   "main": "./index.js",
   "keywords": [

package/test/api.test.js

@@ -636,6 +636,20 @@ ${U('s')} ${U('p')} ${U('o')}. # another trailing comment
 world"""@en.`,
     expect: [new RegExp(`${EX}s>\\s+<${EX}q>\\s+(?:"""Hello[\\s\\S]*?world"""@en|"Hello\\\\nworld"@en)\\s*\\.`)],
   },
+
+  { name: '44 syntax: "<-" in predicate position swaps subject and object',
+    opt: { proofComments: false },
+    input: ` { ?s ${U('p')} ?o } => { ?s ${U('q')} ?o }.
+${U('a')} <-${U('p')} ${U('b')}.`,
+    expect: [new RegExp(`${EX}b>\\s+<${EX}q>\\s+<${EX}a>\\s*\\.`)],
+  },
+
+  { name: '45 syntax: "<-" works inside blank node property lists ([ ... ])',
+    opt: { proofComments: false },
+    input: ` ${U('s')} ${U('p')} [ <-${U('r')} ${U('o')} ].
+{ ${U('o')} ${U('r')} ?x } => { ?x ${U('q')} ${U('k')} }.`,
+    expect: [new RegExp(`_:b1\\s+<${EX}q>\\s+<${EX}k>\\s*\\.`)],
+  },
 ];
 
 let passed = 0;