npm - eyelang - Versions diffs - 0.5.0 → 0.5.2 - Mend

eyelang 0.5.0 → 0.5.2

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.

Files changed (299) hide show

package/test/conformance/errors/iso/logtalk_findall_improper.pl CHANGED Viewed

@@ -1,4 +1,4 @@
-% Adapted from Logtalk sics_findall_3_09. Modified for EyeLang's harness.
+% Adapted from Logtalk sics_findall_3_09. Modified for Eyelang's harness.
 % See test/conformance/THIRD_PARTY.md.
 %% goal: findall(X, X = 1, [_ | 1])

package/test/conformance/errors/iso/logtalk_findall_nonlist.pl CHANGED Viewed

@@ -1,4 +1,4 @@
-% Adapted from Logtalk eclipse_findall_3_10. Modified for EyeLang's harness.
+% Adapted from Logtalk eclipse_findall_3_10. Modified for Eyelang's harness.
 % See test/conformance/THIRD_PARTY.md.
 %% goal: findall(X, (X = 2; X = 1), 12)

package/test/conformance/errors/iso/logtalk_functor_arity_type.pl CHANGED Viewed

@@ -1,4 +1,4 @@
-% Adapted from Logtalk iso_functor_3_14. Modified for EyeLang's harness.
+% Adapted from Logtalk iso_functor_3_14. Modified for Eyelang's harness.
 % See test/conformance/THIRD_PARTY.md.
 %% goal: functor(_, foo, a)

package/test/conformance/errors/iso/logtalk_functor_compound_name.pl CHANGED Viewed

@@ -1,4 +1,4 @@
-% Adapted from Logtalk iso_functor_3_16. Modified for EyeLang's harness.
+% Adapted from Logtalk iso_functor_3_16. Modified for Eyelang's harness.
 % See test/conformance/THIRD_PARTY.md.
 %% goal: functor(_, foo(a), 1)

package/test/conformance/errors/iso/logtalk_functor_float_name.pl CHANGED Viewed

@@ -1,4 +1,4 @@
-% Adapted from Logtalk iso_functor_3_15. Modified for EyeLang's harness.
+% Adapted from Logtalk iso_functor_3_15. Modified for Eyelang's harness.
 % See test/conformance/THIRD_PARTY.md.
 %% goal: functor(_, 1.5, 1)

package/test/conformance/errors/iso/logtalk_number_chars_character_type.pl CHANGED Viewed

@@ -1,4 +1,4 @@
-% Adapted from Logtalk eddbali_number_chars_2_19. Modified for EyeLang's harness.
+% Adapted from Logtalk eddbali_number_chars_2_19. Modified for Eyelang's harness.
 % See test/conformance/THIRD_PARTY.md.
 %% goal: number_chars(_, ['4', 2])

package/test/conformance/errors/iso/logtalk_number_chars_list_type.pl CHANGED Viewed

@@ -1,4 +1,4 @@
-% Adapted from Logtalk eddbali_number_chars_2_18. Modified for EyeLang's harness.
+% Adapted from Logtalk eddbali_number_chars_2_18. Modified for Eyelang's harness.
 % See test/conformance/THIRD_PARTY.md.
 %% goal: number_chars(_, 4)

package/test/conformance/errors/iso/logtalk_number_chars_number_type.pl CHANGED Viewed

@@ -1,4 +1,4 @@
-% Adapted from Logtalk eddbali_number_chars_2_17. Modified for EyeLang's harness.
+% Adapted from Logtalk eddbali_number_chars_2_17. Modified for Eyelang's harness.
 % See test/conformance/THIRD_PARTY.md.
 %% goal: number_chars(a, _)

package/test/conformance/errors/iso/logtalk_number_chars_partial.pl CHANGED Viewed

@@ -1,4 +1,4 @@
-% Adapted from Logtalk sics_number_chars_2_20. Modified for EyeLang's harness.
+% Adapted from Logtalk sics_number_chars_2_20. Modified for Eyelang's harness.
 % See test/conformance/THIRD_PARTY.md.
 %% goal: number_chars(_, [a | _])

package/test/conformance/errors/iso/logtalk_number_chars_syntax.pl CHANGED Viewed

@@ -1,4 +1,4 @@
-% Adapted from Logtalk sics_number_chars_2_29. Modified for EyeLang's harness.
+% Adapted from Logtalk sics_number_chars_2_29. Modified for Eyelang's harness.
 % See test/conformance/THIRD_PARTY.md.
 %% goal: number_chars(_, [a])

package/test/conformance/errors/iso/logtalk_number_chars_unbound.pl CHANGED Viewed

@@ -1,4 +1,4 @@
-% Adapted from Logtalk eddbali_number_chars_2_16. Modified for EyeLang's harness.
+% Adapted from Logtalk eddbali_number_chars_2_16. Modified for Eyelang's harness.
 % See test/conformance/THIRD_PARTY.md.
 %% goal: number_chars(_, _)

package/test/conformance/errors/iso/logtalk_number_codes_bad_code.pl CHANGED Viewed

@@ -1,4 +1,4 @@
-% Adapted from Logtalk eddbali_number_codes_2_17. Modified for EyeLang's harness.
+% Adapted from Logtalk eddbali_number_codes_2_17. Modified for Eyelang's harness.
 % See test/conformance/THIRD_PARTY.md.
 %% goal: number_codes(_, [52, -1])

package/test/conformance/errors/iso/logtalk_number_codes_list_type.pl CHANGED Viewed

@@ -1,4 +1,4 @@
-% Adapted from Logtalk eddbali_number_codes_2_16. Modified for EyeLang's harness.
+% Adapted from Logtalk eddbali_number_codes_2_16. Modified for Eyelang's harness.
 % See test/conformance/THIRD_PARTY.md.
 %% goal: number_codes(_, 4)

package/test/conformance/errors/iso/logtalk_number_codes_number_type.pl CHANGED Viewed

@@ -1,4 +1,4 @@
-% Adapted from Logtalk eddbali_number_codes_2_15. Modified for EyeLang's harness.
+% Adapted from Logtalk eddbali_number_codes_2_15. Modified for Eyelang's harness.
 % See test/conformance/THIRD_PARTY.md.
 %% goal: number_codes(a, _)

package/test/conformance/errors/iso/logtalk_number_codes_partial.pl CHANGED Viewed

@@ -1,4 +1,4 @@
-% Adapted from Logtalk sics_number_codes_2_18. Modified for EyeLang's harness.
+% Adapted from Logtalk sics_number_codes_2_18. Modified for Eyelang's harness.
 % See test/conformance/THIRD_PARTY.md.
 %% goal: number_codes(_, [97 | _])

package/test/conformance/errors/iso/logtalk_number_codes_syntax.pl CHANGED Viewed

@@ -1,4 +1,4 @@
-% Adapted from Logtalk sics_number_codes_2_24. Modified for EyeLang's harness.
+% Adapted from Logtalk sics_number_codes_2_24. Modified for Eyelang's harness.
 % See test/conformance/THIRD_PARTY.md.
 %% goal: number_codes(_, [97])

package/test/conformance/errors/iso/logtalk_number_codes_unbound.pl CHANGED Viewed

@@ -1,4 +1,4 @@
-% Adapted from Logtalk eddbali_number_codes_2_14. Modified for EyeLang's harness.
+% Adapted from Logtalk eddbali_number_codes_2_14. Modified for Eyelang's harness.
 % See test/conformance/THIRD_PARTY.md.
 %% goal: number_codes(_, _)

package/test/conformance/errors/iso/logtalk_once_noncallable.pl CHANGED Viewed

@@ -1,4 +1,4 @@
-% Adapted from Logtalk eddbali_once_1_06. Modified for EyeLang's harness.
+% Adapted from Logtalk eddbali_once_1_06. Modified for Eyelang's harness.
 % See test/conformance/THIRD_PARTY.md.
 %% goal: once(3)

package/test/conformance/errors/iso/logtalk_once_unbound.pl CHANGED Viewed

@@ -1,4 +1,4 @@
-% Adapted from Logtalk eddbali_once_1_07. Modified for EyeLang's harness.
+% Adapted from Logtalk eddbali_once_1_07. Modified for Eyelang's harness.
 % See test/conformance/THIRD_PARTY.md.
 %% goal: once(_)

package/test/conformance/errors/iso/logtalk_op_bad_specifier.pl CHANGED Viewed

@@ -1,4 +1,4 @@
-% Adapted from Logtalk iso_op_3_07. Modified for EyeLang's harness.
+% Adapted from Logtalk iso_op_3_07. Modified for Eyelang's harness.
 % See test/conformance/THIRD_PARTY.md.
 %% goal: op(30, yfy, '++')

package/test/conformance/errors/iso/logtalk_op_high_priority.pl CHANGED Viewed

@@ -1,4 +1,4 @@
-% Adapted from Logtalk iso_op_3_05. Modified for EyeLang's harness.
+% Adapted from Logtalk iso_op_3_05. Modified for Eyelang's harness.
 % See test/conformance/THIRD_PARTY.md.
 %% goal: op(1201, xfy, '++')

package/test/conformance/errors/iso/logtalk_op_negative_priority.pl CHANGED Viewed

@@ -1,4 +1,4 @@
-% Adapted from Logtalk iso_op_3_04. Modified for EyeLang's harness.
+% Adapted from Logtalk iso_op_3_04. Modified for Eyelang's harness.
 % See test/conformance/THIRD_PARTY.md.
 %% goal: op(-30, xfy, '++')

package/test/conformance/errors/iso/logtalk_op_priority_type.pl CHANGED Viewed

@@ -1,4 +1,4 @@
-% Adapted from Logtalk iso_op_3_03. Modified for EyeLang's harness.
+% Adapted from Logtalk iso_op_3_03. Modified for Eyelang's harness.
 % See test/conformance/THIRD_PARTY.md.
 %% goal: op(max, xfy, '++')

package/test/conformance/errors/iso/logtalk_op_unbound_name.pl CHANGED Viewed

@@ -1,4 +1,4 @@
-% Adapted from Logtalk sics_op_3_24. Modified for EyeLang's harness.
+% Adapted from Logtalk sics_op_3_24. Modified for Eyelang's harness.
 % See test/conformance/THIRD_PARTY.md.
 %% goal: op(100, xfx, _)

package/test/conformance/errors/iso/logtalk_op_unbound_priority.pl CHANGED Viewed

@@ -1,4 +1,4 @@
-% Adapted from Logtalk sics_op_3_23. Modified for EyeLang's harness.
+% Adapted from Logtalk sics_op_3_23. Modified for Eyelang's harness.
 % See test/conformance/THIRD_PARTY.md.
 %% goal: op(_, xfx, '++')

package/test/conformance/errors/iso/logtalk_op_unbound_specifier.pl CHANGED Viewed

@@ -1,4 +1,4 @@
-% Adapted from Logtalk iso_op_3_06. Modified for EyeLang's harness.
+% Adapted from Logtalk iso_op_3_06. Modified for Eyelang's harness.
 % See test/conformance/THIRD_PARTY.md.
 %% goal: op(30, _, '++')

package/test/conformance/errors/iso/logtalk_retract_unbound.pl CHANGED Viewed

@@ -1,4 +1,4 @@
-% Adapted from Logtalk lgt_retract_1_12. Modified for EyeLang's harness.
+% Adapted from Logtalk lgt_retract_1_12. Modified for Eyelang's harness.
 % See test/conformance/THIRD_PARTY.md.
 %% goal: retract(_)

package/test/conformance/errors/iso/logtalk_retract_unbound_head.pl CHANGED Viewed

@@ -1,4 +1,4 @@
-% Adapted from Logtalk iso_retract_1_09. Modified for EyeLang's harness.
+% Adapted from Logtalk iso_retract_1_09. Modified for Eyelang's harness.
 % See test/conformance/THIRD_PARTY.md.
 %% goal: retract((_ :- in_eec(_)))

package/test/conformance/errors/iso/logtalk_set_flag_name_type.pl CHANGED Viewed

@@ -1,4 +1,4 @@
-% Adapted from Logtalk iso_set_prolog_flag_2_03. Modified for EyeLang's harness.
+% Adapted from Logtalk iso_set_prolog_flag_2_03. Modified for Eyelang's harness.
 % See test/conformance/THIRD_PARTY.md.
 %% goal: set_prolog_flag(5, decimals)

package/test/conformance/errors/iso/logtalk_set_flag_unbound_name.pl CHANGED Viewed

@@ -1,4 +1,4 @@
-% Adapted from Logtalk iso_set_prolog_flag_2_02. Modified for EyeLang's harness.
+% Adapted from Logtalk iso_set_prolog_flag_2_02. Modified for Eyelang's harness.
 % See test/conformance/THIRD_PARTY.md.
 %% goal: set_prolog_flag(_, off)

package/test/conformance/errors/iso/logtalk_set_flag_unbound_value.pl CHANGED Viewed

@@ -1,4 +1,4 @@
-% Adapted from Logtalk lgt_set_prolog_flag_2_09. Modified for EyeLang's harness.
+% Adapted from Logtalk lgt_set_prolog_flag_2_09. Modified for Eyelang's harness.
 % See test/conformance/THIRD_PARTY.md.
 %% goal: set_prolog_flag(unknown, _)

package/test/conformance/errors/iso/logtalk_set_flag_unknown.pl CHANGED Viewed

@@ -1,4 +1,4 @@
-% Adapted from Logtalk iso_set_prolog_flag_2_04. Modified for EyeLang's harness.
+% Adapted from Logtalk iso_set_prolog_flag_2_04. Modified for Eyelang's harness.
 % See test/conformance/THIRD_PARTY.md.
 %% goal: set_prolog_flag(date, 'July 1999')

package/test/conformance/errors/iso/logtalk_set_flag_value.pl CHANGED Viewed

@@ -1,4 +1,4 @@
-% Adapted from Logtalk iso_set_prolog_flag_2_05. Modified for EyeLang's harness.
+% Adapted from Logtalk iso_set_prolog_flag_2_05. Modified for Eyelang's harness.
 % See test/conformance/THIRD_PARTY.md.
 %% goal: set_prolog_flag(debug, trace)

package/test/conformance/errors/iso/logtalk_setof_nonlist.pl CHANGED Viewed

@@ -1,4 +1,4 @@
-% Adapted from the Logtalk setof/3 list validation cases. Modified for EyeLang.
+% Adapted from the Logtalk setof/3 list validation cases. Modified for Eyelang.
 % See test/conformance/THIRD_PARTY.md.
 %% goal: setof(X, (X = 2; X = 1), 12)

package/test/conformance/errors/iso/logtalk_sub_atom_before_type.pl CHANGED Viewed

@@ -1,4 +1,4 @@
-% Adapted from Logtalk eddbali_sub_atom_5_11. Modified for EyeLang's harness.
+% Adapted from Logtalk eddbali_sub_atom_5_11. Modified for Eyelang's harness.
 % See test/conformance/THIRD_PARTY.md.
 %% goal: sub_atom('Banana', a, 2, _, _)

package/test/conformance/errors/iso/logtalk_sub_atom_negative.pl CHANGED Viewed

@@ -1,4 +1,4 @@
-% Adapted from Logtalk sics_sub_atom_5_14. Modified for EyeLang's harness.
+% Adapted from Logtalk sics_sub_atom_5_14. Modified for Eyelang's harness.
 % See test/conformance/THIRD_PARTY.md.
 %% goal: sub_atom('Banana', -2, 3, 4, _)

package/test/conformance/errors/iso/logtalk_sub_atom_result_type.pl CHANGED Viewed

@@ -1,4 +1,4 @@
-% Adapted from Logtalk eddbali_sub_atom_5_10. Modified for EyeLang's harness.
+% Adapted from Logtalk eddbali_sub_atom_5_10. Modified for Eyelang's harness.
 % See test/conformance/THIRD_PARTY.md.
 %% goal: sub_atom('Banana', 4, 2, _, 2)

package/test/conformance/errors/iso/logtalk_sub_atom_source_type.pl CHANGED Viewed

@@ -1,4 +1,4 @@
-% Adapted from Logtalk eddbali_sub_atom_5_09. Modified for EyeLang's harness.
+% Adapted from Logtalk eddbali_sub_atom_5_09. Modified for Eyelang's harness.
 % See test/conformance/THIRD_PARTY.md.
 %% goal: sub_atom(f(a), 2, 2, _, _)

package/test/conformance/errors/iso/logtalk_sub_atom_unbound.pl CHANGED Viewed

@@ -1,4 +1,4 @@
-% Adapted from Logtalk eddbali_sub_atom_5_08. Modified for EyeLang's harness.
+% Adapted from Logtalk eddbali_sub_atom_5_08. Modified for Eyelang's harness.
 % See test/conformance/THIRD_PARTY.md.
 %% goal: sub_atom(_, 3, 2, _, _)

package/test/conformance/errors/iso/logtalk_term_variables_improper.pl CHANGED Viewed

@@ -1,4 +1,4 @@
-% Adapted from Logtalk iso_term_variables_2_05. Modified for EyeLang's harness.
+% Adapted from Logtalk iso_term_variables_2_05. Modified for Eyelang's harness.
 % See test/conformance/THIRD_PARTY.md.
 %% goal: term_variables(t, [_, _ | a])

package/test/conformance/errors/iso/logtalk_term_variables_nonlist.pl CHANGED Viewed

@@ -1,4 +1,4 @@
-% Adapted from Logtalk eclipse_term_variables_2_10. Modified for EyeLang's harness.
+% Adapted from Logtalk eclipse_term_variables_2_10. Modified for Eyelang's harness.
 % See test/conformance/THIRD_PARTY.md.
 %% goal: term_variables(foo, 3)

package/test/conformance/errors/iso/logtalk_univ_head_compound.pl CHANGED Viewed

@@ -1,4 +1,4 @@
-% Adapted from Logtalk iso_univ_2_13. Modified for EyeLang's harness.
+% Adapted from Logtalk iso_univ_2_13. Modified for Eyelang's harness.
 % See test/conformance/THIRD_PARTY.md.
 %% goal: _ =.. [a(b), 1]

package/test/conformance/errors/iso/logtalk_univ_head_float.pl CHANGED Viewed

@@ -1,4 +1,4 @@
-% Adapted from Logtalk iso_univ_2_12. Modified for EyeLang's harness.
+% Adapted from Logtalk iso_univ_2_12. Modified for Eyelang's harness.
 % See test/conformance/THIRD_PARTY.md.
 %% goal: _ =.. [1.1, foo]

package/test/conformance/errors/iso/logtalk_univ_head_integer.pl CHANGED Viewed

@@ -1,4 +1,4 @@
-% Adapted from Logtalk iso_univ_2_11. Modified for EyeLang's harness.
+% Adapted from Logtalk iso_univ_2_11. Modified for Eyelang's harness.
 % See test/conformance/THIRD_PARTY.md.
 %% goal: _ =.. [3, 1]

package/test/conformance/errors/iso/logtalk_univ_single_compound.pl CHANGED Viewed

@@ -1,4 +1,4 @@
-% Adapted from Logtalk sics_univ_2_16. Modified for EyeLang's harness.
+% Adapted from Logtalk sics_univ_2_16. Modified for Eyelang's harness.
 % See test/conformance/THIRD_PARTY.md.
 %% goal: _ =.. [f(a)]

package/test/conformance/expected/strings/064_reusable_string_builtins.pl CHANGED Viewed

@@ -1,4 +1,4 @@
-answer(trim, "Hello EyeLang").
+answer(trim, "Hello Eyelang").
 answer(lower, "hello eyelang").
 answer(upper, "HELLO EYELANG").
 answer(split, ["red", "green", "blue"]).

package/test/run-conformance-report.mjs CHANGED Viewed

@@ -24,7 +24,7 @@ export function buildConformanceReport() {
   for (const { kind, expectedKind, expectedExt, column } of KINDS) {
     const base = path.join(conformanceRoot, kind);
     if (!fs.existsSync(base)) continue;
-    for (const file of listEyeLangFiles(base)) {
+    for (const file of listEyelangFiles(base)) {
       const category = categoryOf(file);
       const counts = ensureCategory(categories, category);
       counts[column]++;
@@ -56,7 +56,7 @@ export function buildConformanceReport() {
 export function formatConformanceReport(report = buildConformanceReport()) {
   const lines = [
-    '# EyeLang conformance report',
+    '# Eyelang conformance report',
     '',
     'This report summarizes the file-based conformance corpus under `test/conformance/`.',
     '',
@@ -77,12 +77,12 @@ export function formatConformanceReport(report = buildConformanceReport()) {
   return `${lines.join('\n')}\n`;
 }
-function listEyeLangFiles(base, dir = base) {
+function listEyelangFiles(base, dir = base) {
   const files = [];
   for (const entry of fs.readdirSync(dir, { withFileTypes: true })) {
     const full = path.join(dir, entry.name);
     if (entry.isDirectory()) {
-      files.push(...listEyeLangFiles(base, full));
+      files.push(...listEyelangFiles(base, full));
     } else if (entry.isFile() && entry.name.endsWith('.pl')) {
       files.push(path.relative(base, full).split(path.sep).join('/'));
     }

package/test/run-conformance.mjs CHANGED Viewed

@@ -26,7 +26,7 @@ export function runConformance(reporter = new TestReporter(), requestedFilter =
 function listCaseFiles(kind, filter = null) {
   const base = path.join(root, 'conformance', kind);
   if (!fs.existsSync(base)) return [];
-  return listEyeLangFiles(base)
+  return listEyelangFiles(base)
     .filter((name) => matchesFilter(kind, name, filter))
     .sort();
 }
@@ -42,12 +42,12 @@ function matchesFilter(kind, name, filter) {
     || `${label}/${stem}`.includes(filter);
 }
-function listEyeLangFiles(base, dir = base) {
+function listEyelangFiles(base, dir = base) {
   const files = [];
   for (const entry of fs.readdirSync(dir, { withFileTypes: true })) {
     const full = path.join(dir, entry.name);
     if (entry.isDirectory()) {
-      files.push(...listEyeLangFiles(base, full));
+      files.push(...listEyelangFiles(base, full));
     } else if (entry.isFile() && entry.name.endsWith('.pl')) {
       files.push(path.relative(base, full).split(path.sep).join('/'));
     }

package/test/run-playground.mjs CHANGED Viewed

@@ -25,7 +25,7 @@ export async function runPlayground(reporter = new TestReporter()) {
     assertNotIncludes(html, 'URL.createObjectURL(new Blob([workerCode]', 'inline blob worker');
   });
-  await reporter.testAsync('worker loads append/3 from the EyeLang library', async () => {
+  await reporter.testAsync('worker loads append/3 from the Eyelang library', async () => {
     const result = executePlaygroundRequest({
       source: 'answer(X) :- append([a], [b], X).\n',
       options: { goal: 'answer(X)' },
@@ -35,7 +35,7 @@ export async function runPlayground(reporter = new TestReporter()) {
     assertEqual(result.elapsedMs, 1, 'elapsed time');
   });
-  await reporter.testAsync('worker keeps the EyeLang library across runs', async () => {
+  await reporter.testAsync('worker keeps the Eyelang library across runs', async () => {
     const first = executePlaygroundRequest({
       source: 'answer(X) :- reverse([a, b, c], X).\n',
       options: { goal: 'answer(X)' },
@@ -94,7 +94,7 @@ export async function runPlayground(reporter = new TestReporter()) {
     await withStaticServer(async (baseUrl) => {
       const modules = await crawlModuleGraph(new URL('src/playground-worker.js?playground=test', baseUrl));
       assert(modules.size >= 10, `expected a substantial worker module graph, got ${modules.size}`);
-      assert([...modules].some((url) => url.includes('/src/library.js')), 'EyeLang library missing from worker graph');
+      assert([...modules].some((url) => url.includes('/src/library.js')), 'Eyelang library missing from worker graph');
       assert([...modules].some((url) => url.includes('/src/solver.js')), 'solver missing from worker graph');
     });
   });

package/test/run-rdf-tools.mjs CHANGED Viewed

@@ -1,7 +1,7 @@
 #!/usr/bin/env node
 import fs from 'node:fs/promises';
-import { compileRdfDocumentToEyeLang, compileRdfToEyeLang } from '../tools/rdf-to-pl.mjs';
-import { extractEyeLangRdf } from '../tools/pl-to-rdf.mjs';
+import { compileRdfDocumentToEyelang, compileRdfToEyelang } from '../tools/rdf-to-pl.mjs';
+import { extractEyelangRdf } from '../tools/pl-to-rdf.mjs';
 import { run } from '../src/index.js';
 import { TestReporter, isMainModule } from './test-style.mjs';
@@ -9,29 +9,29 @@ export async function runRdfTools(reporter = new TestReporter()) {
   reporter.section('RDF tools');
   reporter.test('N-Quads survives an include-source round trip', () => {
     const input = '<https://example/s> <https://example/p> "chat"@fr <https://example/g> .\n_:a <https://example/value> "42"^^<http://www.w3.org/2001/XMLSchema#integer> .\n';
-    const output = run(compileRdfToEyeLang(input, { scope: 'doc', includeSource: true }), { goal: 'rdf(S, P, O, G)' }).stdout;
-    equal(extractEyeLangRdf(output), '<https://example/s> <https://example/p> "chat"@fr <https://example/g> .\n_:e646f63_61 <https://example/value> "42"^^<http://www.w3.org/2001/XMLSchema#integer> .\n');
+    const output = run(compileRdfToEyelang(input, { scope: 'doc', includeSource: true }), { goal: 'rdf(S, P, O, G)' }).stdout;
+    equal(extractEyelangRdf(output), '<https://example/s> <https://example/p> "chat"@fr <https://example/g> .\n_:e646f63_61 <https://example/value> "42"^^<http://www.w3.org/2001/XMLSchema#integer> .\n');
   });
   reporter.test('default mode emits only rule-derived quads', () => {
     const input = '<https://example/s> <https://example/parent> <https://example/o> .\n';
     const rules = 'rdf(S, iri("https://example/ancestor"), O, G) :- rdf(S, iri("https://example/parent"), O, G).';
-    const output = run(compileRdfToEyeLang(input, { rules }), { goal: 'rdf(S, P, O, G)' }).stdout;
-    equal(extractEyeLangRdf(output), '<https://example/s> <https://example/ancestor> <https://example/o> .\n');
+    const output = run(compileRdfToEyelang(input, { rules }), { goal: 'rdf(S, P, O, G)' }).stdout;
+    equal(extractEyelangRdf(output), '<https://example/s> <https://example/ancestor> <https://example/o> .\n');
   });
   reporter.test('RDF 1.2 terms survive an include-source round trip', () => {
     const input = 'VERSION "1.2"\n<https://example/s> <https://example/says> <<( _:a <https://example/text> "مرحبا"@ar--rtl )>> .\n';
-    const output = run(compileRdfToEyeLang(input, { scope: 'doc', includeSource: true }), { goal: 'rdf(S, P, O, G)' }).stdout;
-    equal(extractEyeLangRdf(output), '<https://example/s> <https://example/says> <<( _:e646f63_61 <https://example/text> "مرحبا"@ar--rtl )>> .\n');
+    const output = run(compileRdfToEyelang(input, { scope: 'doc', includeSource: true }), { goal: 'rdf(S, P, O, G)' }).stdout;
+    equal(extractEyelangRdf(output), '<https://example/s> <https://example/says> <<( _:e646f63_61 <https://example/text> "مرحبا"@ar--rtl )>> .\n');
   });
   reporter.test('nested RDF 1.2 triple terms survive a round trip', () => {
     const input = '<https://example/s> <https://example/p> <<( <https://example/a> <https://example/b> <<( _:x <https://example/c> "line\\nfeed" )>> )>> .\n';
-    const output = run(compileRdfToEyeLang(input, { scope: 'doc', includeSource: true }), { goal: 'rdf(S, P, O, G)' }).stdout;
-    equal(extractEyeLangRdf(output), '<https://example/s> <https://example/p> <<( <https://example/a> <https://example/b> <<( _:e646f63_78 <https://example/c> "line\\nfeed" )>> )>> .\n');
+    const output = run(compileRdfToEyelang(input, { scope: 'doc', includeSource: true }), { goal: 'rdf(S, P, O, G)' }).stdout;
+    equal(extractEyelangRdf(output), '<https://example/s> <https://example/p> <<( <https://example/a> <https://example/b> <<( _:e646f63_78 <https://example/c> "line\\nfeed" )>> )>> .\n');
   });
   reporter.test('RDF blank-node labels accept the full Unicode production', () => {
     const input = '_:éclair <https://example/p> _:名.\n';
-    const output = run(compileRdfToEyeLang(input, { scope: 'doc', includeSource: true }), { goal: 'rdf(S, P, O, G)' }).stdout;
-    equal(extractEyeLangRdf(output), '_:e646f63_c3a9636c616972 <https://example/p> _:e646f63_e5908d .\n');
+    const output = run(compileRdfToEyelang(input, { scope: 'doc', includeSource: true }), { goal: 'rdf(S, P, O, G)' }).stdout;
+    equal(extractEyelangRdf(output), '_:e646f63_c3a9636c616972 <https://example/p> _:e646f63_e5908d .\n');
   });
   const generatedFixtures = [
     ['RDF 1.2 annotation example', 'rdf12-annotation', 'rdf12-annotation'],
@@ -46,7 +46,7 @@ export async function runRdfTools(reporter = new TestReporter()) {
   for (const [label, programStem, inputStem] of generatedFixtures) {
     const source = await fs.readFile(new URL(`../examples/input/${inputStem}.ttl`, import.meta.url), 'utf8');
     const rules = await fs.readFile(new URL(`../examples/input/${inputStem}-rules.pl`, import.meta.url), 'utf8');
-    const generated = await compileRdfDocumentToEyeLang(source, {
+    const generated = await compileRdfDocumentToEyelang(source, {
       inputPath: `${inputStem}.ttl`,
       scope: `${inputStem}.ttl`,
       rules,
@@ -64,8 +64,8 @@ export async function runRdfTools(reporter = new TestReporter()) {
     ['RDFa', 'example.html', '<div prefix="ex: https://example/" about="ex:s"><a property="ex:p" href="https://example/o">o</a></div>'],
   ];
   for (const [name, inputPath, source] of documents) {
-    const program = await compileRdfDocumentToEyeLang(source, { inputPath, includeSource: true, scope: inputPath, baseIRI: 'https://example/base' });
-    const output = extractEyeLangRdf(run(program, { goal: 'rdf(S, P, O, G)' }).stdout);
+    const program = await compileRdfDocumentToEyelang(source, { inputPath, includeSource: true, scope: inputPath, baseIRI: 'https://example/base' });
+    const output = extractEyelangRdf(run(program, { goal: 'rdf(S, P, O, G)' }).stdout);
     reporter.test(`${name} input is accepted`, () => { if (!output) throw new Error('expected at least one RDF quad'); });
   }
   reporter.sectionTotal('RDF tool');