eyelang 1.2.0 → 1.2.1

package/examples/output/web-names.pl

@@ -1,10 +1,10 @@
-web_uri(web(be.ugent, jos), "https://data.ugent.be/id/jos").
-web_uri(web(com.example, jos), "https://example.com/id/jos").
+web_uri(web(be.ugent, josd), "https://data.ugent.be/id/josd").
+web_uri(web(com.example, josd), "https://example.com/id/josd").
 web_uri(web(be.ugent, idlab), "https://data.ugent.be/id/idlab").
 web_uri(web(be.ugent, ugent), "https://data.ugent.be/id/ugent").
 web_uri(web(eyereasoner.github, eyelang), "https://github.com/eyereasoner/eyelang").
 web_uri(web(org.schema, maintainer), "https://schema.org/maintainer").
-affiliated_with(web(be.ugent, jos), web(be.ugent, idlab)).
-affiliated_with(web(be.ugent, jos), web(be.ugent, ugent)).
-project_contact(web(eyereasoner.github, eyelang), web(be.ugent, jos), "josderoo@gmail.com").
-same_local_name(web(be.ugent, jos), web(com.example, jos), jos).
+affiliated_with(web(be.ugent, josd), web(be.ugent, idlab)).
+affiliated_with(web(be.ugent, josd), web(be.ugent, ugent)).
+project_contact(web(eyereasoner.github, eyelang), web(be.ugent, josd), "josderoo@gmail.com").
+same_local_name(web(be.ugent, josd), web(com.example, josd), josd).

package/examples/web-names.pl

@@ -1,4 +1,4 @@
-% Compact web-style names without full URIs or global prefix tables.
+% Compact web-style terms without full URIs or global prefix tables.
 %
 % RDF-style URIs are globally meaningful but long, while QNames such as
 % schema:Person depend on an external prefix declaration.  This example uses an
@@ -7,8 +7,8 @@
 % is the local name inside that space.
 %
 % The important property is that the complete term is self-contained.  The local
-% name jos can safely occur in two spaces: web(be.ugent, jos) and
-% web(com.example, jos) are different Herbrand terms, so there is no hidden
+% name josd can safely occur in two spaces: web(be.ugent, josd) and
+% web(com.example, josd) are different Herbrand terms, so there is no hidden
 % prefix context and no accidental collision.  Tooling can still expand selected
 % web/2 terms to full URI strings when a base is known.
 
@@ -24,22 +24,22 @@ space_base(eyereasoner.github, "https://github.com/eyereasoner/").
 space_base(org.schema, "https://schema.org/").
 
 % A tiny graph using globally scoped web names as ordinary eyelang terms.
-triple(web(be.ugent, jos), web(org.schema, name), "Jos De Roo").
-triple(web(be.ugent, jos), web(org.schema, email), "josderoo@gmail.com").
-triple(web(be.ugent, jos), web(org.schema, affiliation), web(be.ugent, idlab)).
+triple(web(be.ugent, josd), web(org.schema, name), "Jos De Roo").
+triple(web(be.ugent, josd), web(org.schema, email), "josderoo@gmail.com").
+triple(web(be.ugent, josd), web(org.schema, affiliation), web(be.ugent, idlab)).
 triple(web(be.ugent, idlab), web(org.schema, parentOrganization), web(be.ugent, ugent)).
 
 triple(web(eyereasoner.github, eyelang), web(org.schema, name), "eyelang").
 triple(web(eyereasoner.github, eyelang), web(org.schema, codeRepository), "https://github.com/eyereasoner/eyelang").
-triple(web(eyereasoner.github, eyelang), web(org.schema, maintainer), web(be.ugent, jos)).
+triple(web(eyereasoner.github, eyelang), web(org.schema, maintainer), web(be.ugent, josd)).
 
 % Same local spelling, different global identity.
-triple(web(com.example, jos), web(org.schema, name), "Another Jos in another space").
+triple(web(com.example, josd), web(org.schema, name), "Another JosD in another space").
 
 % Keep URI expansion explicit and optional: reasoning uses web/2 terms, while
 % web_uri/2 is only a presentation bridge for selected names.
-published_name(web(be.ugent, jos)).
-published_name(web(com.example, jos)).
+published_name(web(be.ugent, josd)).
+published_name(web(com.example, josd)).
 published_name(web(be.ugent, idlab)).
 published_name(web(be.ugent, ugent)).
 published_name(web(eyereasoner.github, eyelang)).
@@ -66,7 +66,7 @@ affiliated_with(Person, Org) :-
 
 % A project contact is derived by joining the project's maintainer with the
 % maintainer's email.  The join works because both facts use the same complete
-% web(be.ugent, jos) term.
+% web(be.ugent, josd) term.
 project_contact(Project, Person, Email) :-
     triple(Project, web(org.schema, maintainer), Person),
     triple(Person, web(org.schema, email), Email).

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "eyelang",
-  "version": "1.2.0",
+  "version": "1.2.1",
   "description": "A small Prolog-syntax-subset logic programming language for rules, goals, answers, and proofs.",
   "type": "module",
   "main": "./index.js",

package/test/run-regression.mjs

@@ -477,10 +477,10 @@ function whiteBoxCases() {
       },
     },
     {
-      name: 'parser preserves dotted atom constants for web-style names',
+      name: 'parser preserves dotted atom constants for web-style terms',
       run: () => {
-        const clauses = parseProgramText('p(web(be.ugent, jos), org.schema).\n');
-        assertEqual(termToString(clauses[0].head, new Env(), true), 'p(web(be.ugent, jos), org.schema)', 'head');
+        const clauses = parseProgramText('p(web(be.ugent, josd), org.schema).\n');
+        assertEqual(termToString(clauses[0].head, new Env(), true), 'p(web(be.ugent, josd), org.schema)', 'head');
       },
     },
     {