eyeling 1.34.3 → 1.34.5

package/test/eyelang/conformance/expected/049_select_duplicate_occurrences.pl

@@ -0,0 +1,2 @@
+answer(rest, [b, a]).
+answer(rest, [a, b]).

package/test/eyelang/conformance/expected/050_not_member_filter.pl

@@ -0,0 +1 @@
+answer(not_present, c).

package/test/eyelang/conformance/expected/051_nested_holds_parts.pl

@@ -0,0 +1,3 @@
+answer(parts, exposed(ready, [])).
+answer(parts, exposed(name, [a, "A"])).
+answer(parts, exposed(route, [a, b, 7])).

package/test/eyelang/conformance/expected/052_holds_member.pl

@@ -0,0 +1,2 @@
+answer(member, name(alice, "Alice")).
+answer(member, knows(alice, bob)).

package/test/eyelang/conformance/expected/053_materialize_excludes_source_fact.pl

@@ -0,0 +1 @@
+answer(b, ok).

package/test/eyelang/conformance/expected/054_numeric_and_lexical_comparison.pl

@@ -0,0 +1,3 @@
+answer(numeric_gt, true).
+answer(numeric_le, true).
+answer(lexical_ge, true).

package/test/eyelang/conformance/expected/055_string_matching_filters.pl

@@ -0,0 +1,2 @@
+answer(has_ph, a).
+answer(no_ph, b).

package/test/eyelang/conformance/expected/056_string_and_atom_concat.pl

@@ -0,0 +1 @@
+answer(string, "eyelang").

package/test/eyelang/conformance/expected/057_countall_empty_and_nonempty.pl

@@ -0,0 +1 @@
+answer(counts, counts(2, 0)).

package/test/eyelang/conformance/expected/058_sumall_numeric_template.pl

@@ -0,0 +1 @@
+answer(sum, 7).

package/test/eyelang/conformance/expected/059_aggregate_min_template.pl

@@ -0,0 +1 @@
+answer(min, result(3, item(beta, 3))).

package/test/eyelang/conformance/expected/060_aggregate_max_compound_key.pl

@@ -0,0 +1 @@
+answer(max, result([7, beta], beta)).

package/test/eyelang/conformance/expected/061_date_difference.pl

@@ -0,0 +1,2 @@
+answer(duration, "P4Y1D").
+answer(month_borrow, "P1M-1D").

package/test/eyelang/conformance/expected/062_reusable_numeric_builtins.pl

@@ -0,0 +1,8 @@
+answer(max, 42).
+answer(sqrt, 9.0).
+answer(floor, 3).
+answer(ceiling, 4).
+answer(trunc, -3).
+answer(exp, 1.0).
+answer(tan, 0.0).
+answer(atan2, 3.1415926535897931).

package/test/eyelang/conformance/expected/063_reusable_list_builtins.pl

@@ -0,0 +1,9 @@
+answer(head, alpha).
+answer(last, beta).
+answer(take, [alpha, beta]).
+answer(drop, [gamma, beta]).
+answer(slice, [beta, gamma]).
+answer(sum, 6.5).
+answer(min, 1).
+answer(max, 3).
+answer(set, [beta, alpha, gamma]).

package/test/eyelang/conformance/expected/064_reusable_string_builtins.pl

@@ -0,0 +1,10 @@
+answer(trim, "Hello Eyelang").
+answer(lower, "hello eyelang").
+answer(upper, "HELLO EYELANG").
+answer(split, ["red", "green", "blue"]).
+answer(join, "red:green:blue").
+answer(substring, "cde").
+answer(replace, "blue-green-blue").
+answer(number_to_string, "42").
+answer(string_to_number, 3.5).
+answer(atom_string, "eyelang").

package/test/eyelang/conformance/expected/065_reusable_term_control_builtins.pl

@@ -0,0 +1,6 @@
+answer(functor, pair(edge, 2)).
+answer(arg, b).
+answer(decompose, pair(edge, [a, b])).
+answer(compose, edge(a, b)).
+answer(term_string, "edge(a, [b, c])").
+answer(forall, ok).

package/test/eyelang/conformance/expected/066_numeric_edges.pl

@@ -0,0 +1,12 @@
+answer(max_negative, -3).
+answer(min_float, -1.25).
+answer(floor_negative, -4).
+answer(ceiling_negative, -3).
+answer(trunc_positive, 3).
+answer(sqrt_fraction, 1.5).
+answer(pow_fraction, 3.0).
+answer(sqrt_negative_rejected, ok).
+answer(log_zero_rejected, ok).
+answer(div_zero_rejected, ok).
+answer(mod_float_rejected, ok).
+answer(pow_negative_integer_exponent_rejected, ok).

package/test/eyelang/conformance/expected/067_list_edges.pl

@@ -0,0 +1,8 @@
+answer(take_zero, []).
+answer(drop_all, []).
+answer(slice_empty, []).
+answer(last_single, only).
+answer(head_rest, pair(a, [b, c])).
+answer(take_too_many_rejected, ok).
+answer(drop_too_many_rejected, ok).
+answer(last_empty_rejected, ok).

package/test/eyelang/conformance/expected/068_list_generation_order.pl

@@ -0,0 +1,10 @@
+answer(append_split, pair([], [a, b])).
+answer(append_split, pair([a], [b])).
+answer(append_split, pair([a, b], [])).
+answer(nth, pair(0, x)).
+answer(nth, pair(1, y)).
+answer(select, pair(a, [b, a])).
+answer(select, pair(b, [a, a])).
+answer(select, pair(a, [a, b])).
+answer(not_member_atom, ok).
+answer(not_member_unifiable_rejected, ok).

package/test/eyelang/conformance/expected/069_list_summaries_and_sets.pl

@@ -0,0 +1,7 @@
+answer(sum_empty, 0).
+answer(sum_mixed, 6.5).
+answer(min_atom_order, beta).
+answer(max_atom_order, gamma).
+answer(set_terms, [pair(a, 1), pair(b, 2)]).
+answer(min_empty_rejected, ok).
+answer(max_empty_rejected, ok).

package/test/eyelang/conformance/expected/070_matches_named_captures.pl

@@ -0,0 +1 @@
+answer("alice", "login_failed", "4bf92f3577b34da6a3ce929d0e0e4736").

package/test/eyelang/conformance/expected/071_string_edges.pl

@@ -0,0 +1,8 @@
+answer(split_missing_separator, ["abc"]).
+answer(split_empty_separator, ["a", "b", "c"]).
+answer(join_empty, "").
+answer(join_numbers, "1-2-3").
+answer(substring_empty, "").
+answer(replace_empty_search, "abc").
+answer(lower_string, "hello").
+answer(upper_string, "EYELANG 123").

package/test/eyelang/conformance/expected/072_string_conversions.pl

@@ -0,0 +1,8 @@
+answer(number_to_string, "-7").
+answer(string_to_integer, 123).
+answer(string_to_decimal, -3.5).
+answer(non_numeric_rejected, ok).
+answer(atom_to_string, "hello_world").
+answer(string_to_atom, hello_world).
+answer(number_to_atom, '123').
+answer(trim_to_empty, "").

package/test/eyelang/conformance/expected/073_term_introspection_edges.pl

@@ -0,0 +1,8 @@
+answer(functor_atom, pair(alpha, 0)).
+answer(functor_number, pair(42, 0)).
+answer(functor_string, pair("hi", 0)).
+answer(arg_nested, edge(a, b)).
+answer(compose_nested, outer(inner(a), [b, c])).
+answer(decompose_zero, pair(z, [])).
+answer(arg_zero_rejected, ok).
+answer(arg_too_large_rejected, ok).

package/test/eyelang/conformance/expected/074_forall_edges.pl

@@ -0,0 +1,5 @@
+answer(all_small, ok).
+answer(empty_generator, ok).
+answer(not_all_large, ok).
+answer(bound_outer_environment, ok).
+answer(checker_can_use_generator_binding, ok).

package/test/eyelang/conformance/expected/075_aggregation_edges.pl

@@ -0,0 +1,7 @@
+answer(findall_empty, []).
+answer(count_filtered, 2).
+answer(sum_empty, 0).
+answer(sum_scores, 6).
+answer(best_min, pair(1, bob)).
+answer(best_max, pair(3, cara)).
+answer(best_empty_rejected, ok).

package/test/eyelang/conformance/expected/076_composed_reusable_builtins.pl

@@ -0,0 +1,5 @@
+answer(clean_join, "red|green|blue").
+answer(middle_upper, "GREEN").
+answer(summary, result("red", "blue", 3)).
+answer(term_report, "measurement(temperature, 21)").
+answer(score_text, "max=9").

package/test/eyelang/conformance/expected/077_recursive_path_with_lists.pl

@@ -0,0 +1,3 @@
+answer(path, [a, b, c, d]).
+answer(prefix, [a, b]).
+answer(suffix, [c, d]).

package/test/eyelang/conformance/expected/078_mutual_recursion_with_arithmetic.pl

@@ -0,0 +1,7 @@
+answer(even, 0).
+answer(even, 2).
+answer(even, 4).
+answer(even, 6).
+answer(odd, 1).
+answer(odd, 3).
+answer(odd, 5).

package/test/eyelang/conformance/expected/079_big_integer_arithmetic.pl

@@ -0,0 +1,6 @@
+answer(add_big, 9007199254741000).
+answer(sub_big, 9007199254740993).
+answer(mul_big, 121932631112635269).
+answer(pow_big, 9223372036854775808).
+answer(div_big, 4611686018427387904).
+answer(mod_big, 9).

package/test/eyelang/conformance/expected/080_rounding_modes.pl

@@ -0,0 +1,8 @@
+answer(floor_pos, 3).
+answer(floor_neg, -4).
+answer(ceiling_pos, 4).
+answer(ceiling_neg, -3).
+answer(trunc_pos, 3).
+answer(trunc_neg, -3).
+answer(round_half_up, 3).
+answer(round_half_neg, -2).

package/test/eyelang/conformance/expected/081_zero_safe_numeric_functions.pl

@@ -0,0 +1,7 @@
+answer(sin_zero, 0.0).
+answer(cos_zero, 1.0).
+answer(tan_zero, 0.0).
+answer(exp_zero, 1.0).
+answer(log_one, 0.0).
+answer(atan2_zero, 0.0).
+answer(sqrt_one, 1.0).

package/test/eyelang/conformance/expected/082_comparison_semantics.pl

@@ -0,0 +1,8 @@
+answer(integer_order, ok).
+answer(decimal_equal_le, ok).
+answer(numeric_not_lexical, ok).
+answer(duration_years, ok).
+answer(duration_months, ok).
+answer(atom_lexical, ok).
+answer(string_lexical, ok).
+answer(compound_lexical_text, ok).

package/test/eyelang/conformance/expected/083_between_modes_and_empty_ranges.pl

@@ -0,0 +1,8 @@
+answer(enumerated, -1).
+answer(enumerated, 0).
+answer(enumerated, 1).
+answer(check_bound, ok).
+answer(check_low_edge, ok).
+answer(check_high_edge, ok).
+answer(check_outside_rejected, ok).
+answer(empty_range_rejected, ok).

package/test/eyelang/conformance/expected/084_append_and_select_composition.pl

@@ -0,0 +1,10 @@
+answer(split, pair([], [x, y, z])).
+answer(split, pair([x], [y, z])).
+answer(split, pair([x, y], [z])).
+answer(split, pair([x, y, z], [])).
+answer(select_middle, [x, z]).
+answer(select_duplicate, pair(a, [b, a])).
+answer(select_duplicate, pair(b, [a, a])).
+answer(select_duplicate, pair(a, [a, b])).
+answer(rebuild, [a, b, c, d]).
+answer(no_select_rejected, ok).

package/test/eyelang/conformance/expected/085_nth_and_update_edges.pl

@@ -0,0 +1,8 @@
+answer(index_value, pair(0, red)).
+answer(index_value, pair(1, green)).
+answer(index_value, pair(2, blue)).
+answer(bound_index, green).
+answer(set_first, [blue, green]).
+answer(set_last, [a, b, z]).
+answer(index_too_large_rejected, ok).
+answer(set_too_large_rejected, ok).

package/test/eyelang/conformance/expected/086_slicing_pipeline.pl

@@ -0,0 +1,7 @@
+answer(head, zero).
+answer(rest, [one, two, three, four]).
+answer(last, four).
+answer(take_three, [zero, one, two]).
+answer(drop_three, [three, four]).
+answer(slice_middle, [one, two, three]).
+answer(slice_tail_empty, []).

package/test/eyelang/conformance/expected/087_sort_reverse_length.pl

@@ -0,0 +1,6 @@
+answer(length_empty, 0).
+answer(length_nested, 3).
+answer(reverse_atoms, [c, b, a]).
+answer(sort_numbers, [1, 2, 3]).
+answer(sort_mixed_terms, [1, 2, a, b, "s", pair(a)]).
+answer(reverse_empty, []).

package/test/eyelang/conformance/expected/088_list_summaries_failures.pl

@@ -0,0 +1,6 @@
+answer(sum_integers, 10).
+answer(sum_decimals, 3.0).
+answer(min_terms, pair(a)).
+answer(max_terms, pair(c)).
+answer(sum_non_number_rejected, ok).
+answer(set_scalars, [b, a, 1, "a"]).

package/test/eyelang/conformance/expected/089_string_split_join_pipeline.pl

@@ -0,0 +1,4 @@
+answer(parts, ["alpha", "beta", "gamma"]).
+answer(pipe, "alpha|beta|gamma").
+answer(first_upper, "ALPHA").
+answer(last_lower, "gamma").

package/test/eyelang/conformance/expected/090_string_substring_replace_edges.pl

@@ -0,0 +1,7 @@
+answer(prefix, "eye").
+answer(middle, "la").
+answer(suffix, "ng").
+answer(empty_at_end, "").
+answer(out_of_range_rejected, ok).
+answer(replace_all, "baNANA").
+answer(replace_missing, "banana").

package/test/eyelang/conformance/expected/091_string_case_and_trim.pl

@@ -0,0 +1,5 @@
+answer(lower_mixed, "hello world 123!").
+answer(upper_mixed, "HELLO WORLD 123!").
+answer(trim_spaces, "padded").
+answer(trim_tabs_newline, "value").
+answer(trim_empty, "").

package/test/eyelang/conformance/expected/092_scalar_string_conversions.pl

@@ -0,0 +1,7 @@
+answer(number_to_string, "42").
+answer(decimal_string_to_number, -12.75).
+answer(scientific_string_to_number, 1e3).
+answer(atom_to_string, "hello-world").
+answer(string_to_atom_needs_quotes, 'hello-world').
+answer(term_to_string, "result([a, b], score(10))").
+answer(unbound_term_rejected, ok).

package/test/eyelang/conformance/expected/093_regex_named_captures_context.pl

@@ -0,0 +1,5 @@
+answer(level, "warn").
+answer(code, "E42").
+answer(user, "bob").
+answer(no_named_groups_rejected, ok).
+answer(bad_regex_rejected, ok).

package/test/eyelang/conformance/expected/094_context_holds_enumeration.pl

@@ -0,0 +1,8 @@
+answer(term, kind(alert)).
+answer(term, severity(high)).
+answer(term, owner(alice)).
+answer(parts, pair(kind, [alert])).
+answer(parts, pair(severity, [high])).
+answer(parts, pair(owner, [alice])).
+answer(filter, alice).
+answer(missing_rejected, ok).

package/test/eyelang/conformance/expected/095_term_introspection_roundtrip.pl

@@ -0,0 +1,6 @@
+answer(functor_compound, pair(edge, 2)).
+answer(arg_first, a).
+answer(arg_second, b).
+answer(decompose, pair(edge, [a, b])).
+answer(recompose, edge(a, b)).
+answer(roundtrip, edge(a, b)).

package/test/eyelang/conformance/expected/096_functor_scalar_edges.pl

@@ -0,0 +1,6 @@
+answer(atom, pair(alpha, 0)).
+answer(quoted_atom, pair('hello-world', 0)).
+answer(string, pair("text", 0)).
+answer(number, pair(123, 0)).
+answer(list_functor, pair('.', 2)).
+answer(unbound_rejected, ok).

package/test/eyelang/conformance/expected/097_control_negation_once_forall.pl

@@ -0,0 +1,5 @@
+answer(once_choice, a).
+answer(negated_missing, ok).
+answer(negated_existing_rejected, ok).
+answer(all_allowed, ok).
+answer(not_all_allowed_after_extra, ok).

package/test/eyelang/conformance/expected/098_aggregation_nested_templates.pl

@@ -0,0 +1,5 @@
+answer(all_pairs, [result(alice, math, 9), result(alice, logic, 7), result(bob, math, 5), result(bob, logic, 8)]).
+answer(count_high, 2).
+answer(sum_alice, 16).
+answer(best_score, pair(9, result(alice, math))).
+answer(lowest_pair, pair([5, bob], math)).

package/test/eyelang/conformance/expected/099_materialize_multiple_arities.pl

@@ -0,0 +1,4 @@
+answer(a).
+answer(b).
+answer(a, doubled).
+answer(b, doubled).

package/test/eyelang/conformance/expected/100_reusable_builtin_workflow.pl

@@ -0,0 +1,6 @@
+answer(total(alice), 15).
+answer(total(bob), 6).
+answer(maximum(alice), 7).
+answer(maximum(bob), 4).
+answer(report(alice), "alice:3").
+answer(report(bob), "bob:2").

package/test/eyelang/conformance/expected/extension/036_reusable_numeric_builtins.out

@@ -0,0 +1,8 @@
+answer(max, 42).
+answer(sqrt, 9.0).
+answer(floor, 3).
+answer(ceiling, 4).
+answer(trunc, -3).
+answer(exp, 1.0).
+answer(tan, 0.0).
+answer(atan2, 3.1415926535897931).

package/test/eyelang/conformance/expected/extension/037_reusable_list_builtins.out

@@ -0,0 +1,9 @@
+answer(head, alpha).
+answer(last, beta).
+answer(take, [alpha, beta]).
+answer(drop, [gamma, beta]).
+answer(slice, [beta, gamma]).
+answer(sum, 6.5).
+answer(min, 1).
+answer(max, 3).
+answer(set, [beta, alpha, gamma]).

package/test/eyelang/conformance/expected/extension/038_reusable_string_builtins.out

@@ -0,0 +1,10 @@
+answer(trim, "Hello Eyelang").
+answer(lower, "hello eyelang").
+answer(upper, "HELLO EYELANG").
+answer(split, ["red", "green", "blue"]).
+answer(join, "red:green:blue").
+answer(substring, "cde").
+answer(replace, "blue-green-blue").
+answer(number_to_string, "42").
+answer(string_to_number, 3.5).
+answer(atom_string, "eyelang").

package/test/eyelang/conformance/expected/extension/039_reusable_term_control_builtins.out

@@ -0,0 +1,6 @@
+answer(functor, pair(edge, 2)).
+answer(arg, b).
+answer(decompose, pair(edge, [a, b])).
+answer(compose, edge(a, b)).
+answer(term_string, "edge(a, [b, c])").
+answer(forall, ok).

package/test/eyelang/run-conformance.mjs

@@ -9,35 +9,34 @@ import { fileURLToPath } from 'node:url';
 import { TestReporter, isMainModule } from './test-style.mjs';
 
 const root = path.resolve(path.dirname(fileURLToPath(import.meta.url)));
-const profileArg = process.argv[2] ?? 'conformance';
+const filterArg = process.argv[2] ?? null;
 
-export function runConformance(reporter = new TestReporter(), requestedProfiles = null) {
-  const profiles = requestedProfiles ?? (profileArg === 'conformance' ? ['core', 'extension'] : [profileArg]);
-  for (const profile of profiles) runProfile(reporter, profile);
+export function runConformance(reporter = new TestReporter(), requestedFilter = null) {
+  const filter = requestedFilter ?? filterArg;
+  const label = filter == null ? 'eyelang' : `eyelang ${filter}`;
+  reporter.section(`Conformance ${label}`);
+  for (const file of listCaseFiles(filter)) runCaseFile(reporter, file);
+  reporter.sectionTotal(`conformance ${label}`);
 }
 
-function runProfile(reporter, profile) {
-  const casesDir = path.join(root, 'conformance', 'cases', profile);
-  const expectedDir = path.join(root, 'conformance', 'expected', profile);
-
-  reporter.section(`Conformance ${profile}`);
-
-  const files = fs.readdirSync(casesDir)
+function listCaseFiles(filter = null) {
+  const casesDir = path.join(root, 'conformance', 'cases');
+  return fs.readdirSync(casesDir)
     .filter((name) => name.endsWith('.pl'))
+    .filter((name) => filter == null || name.includes(filter) || name.slice(0, -3) === filter)
     .sort();
+}
 
-  for (const file of files) {
-    const name = file.slice(0, -3);
-    const label = `${profile}/${name}`;
-    reporter.test(label, () => runCase(profile, name, file, casesDir, expectedDir));
-  }
-
-  reporter.sectionTotal(`conformance ${profile}`);
+function runCaseFile(reporter, file) {
+  const name = file.slice(0, -3);
+  reporter.test(name, () => runCase(name, file));
 }
 
-function runCase(profile, name, file, casesDir, expectedDir) {
+function runCase(name, file) {
+  const casesDir = path.join(root, 'conformance', 'cases');
+  const expectedDir = path.join(root, 'conformance', 'expected');
   const programFile = path.join(casesDir, file);
-  const expected = path.join(expectedDir, `${name}.out`);
+  const expected = path.join(expectedDir, `${name}.pl`);
   const text = fs.readFileSync(programFile, 'utf8');
   const program = Program.parseSources([{ text, filename: file }], { sourceMetadata: false, markRecursive: false });
   const actual = run(program).stdout;
@@ -48,8 +47,7 @@ function runCase(profile, name, file, casesDir, expectedDir) {
 
   const expectedText = fs.readFileSync(expected, 'utf8');
   if (expectedText !== actual) {
-    throw new Error(`output mismatch for ${profile}/${name}
-${diffText(expected, actual)}`.trimEnd());
+    throw new Error(`output mismatch for ${name}\n${diffText(expected, actual)}`.trimEnd());
   }
 }
 

package/examples/eyelang/collatz-1000.pl

@@ -1,14 +0,0 @@
-% Memoize trajectories because different start values quickly merge into
-% shared Collatz tails.
-% Output declarations: materialize/2 selects the relations written to this example's golden output.
-materialize(collatzTrajectory, 2).
-
-% Program structure: facts set up the scenario, and rules derive the materialized conclusions.
-% Collatz trajectory benchmark adapted from Eyeling collatz-1000.n3.
-% The reusable builtin keeps this large output example focused on data volume
-% rather than recursive integer arithmetic overhead.
-
-% Derivation rules: each rule below contributes one logical step toward the displayed results.
-collatzTrajectory(N, Trajectory) :-
-  between(1, 1000, N),
-  collatz_trajectory(N, Trajectory).

package/examples/eyelang/complex-matrix-stability.pl

@@ -1,45 +0,0 @@
-% 2x2 continuous-time stability check.
-% For matrix [[a,b],[c,d]], a stable second-order linear system has
-% trace < 0 and determinant > 0.  A negative discriminant indicates a
-% complex-conjugate eigenvalue pair.
-
-% Output declarations: materialize/2 selects the relations written to this example's golden output.
-materialize(trace, 2).
-materialize(determinant, 2).
-materialize(discriminant, 2).
-materialize(eigenShape, 2).
-materialize(status, 2).
-
-% Program structure: facts set up the scenario, and rules derive the materialized conclusions.
-matrix(controller_loop, -0.7, 1.2, -0.4, -0.5).
-
-% Derivation rules: each rule below contributes one logical step toward the displayed results.
-trace(Matrix, Trace) :-
-  matrix(Matrix, A, _B, _C, D),
-  add(A, D, Trace).
-
-determinant(Matrix, Determinant) :-
-  matrix(Matrix, A, B, C, D),
-  mul(A, D, AD),
-  mul(B, C, BC),
-  sub(AD, BC, Determinant).
-
-discriminant(Matrix, Disc) :-
-  trace(Matrix, T),
-  determinant(Matrix, Det),
-  mul(T, T, T2),
-  mul(4, Det, FourDet),
-  sub(T2, FourDet, Disc).
-
-stable(Matrix) :-
-  trace(Matrix, T),
-  determinant(Matrix, Det),
-  lt(T, 0),
-  gt(Det, 0).
-
-complex_pair(Matrix) :-
-  discriminant(Matrix, Disc),
-  lt(Disc, 0).
-
-eigenShape(Matrix, complex_conjugate_pair) :- complex_pair(Matrix).
-status(Matrix, asymptotically_stable) :- stable(Matrix).

package/examples/eyelang/gcd-bezout-identity.pl

@@ -1,48 +0,0 @@
-% EYE reasoning-inspired example: greatest common divisor and Bézout identity.
-%
-% This ports the extended Euclidean algorithm idea into ordinary eyelang rules.
-% Each case derives gcd(a,b), coefficients s,t, and validation checks for
-% a*s + b*t = gcd(a,b) and divisibility.
-
-% Output declarations: materialize/2 selects the relations written to this example's golden output.
-materialize(gcd, 2).
-materialize(bezoutCoefficients, 2).
-materialize(check, 2).
-materialize(status, 2).
-
-% Program structure: facts set up the scenario, and rules derive the materialized conclusions.
-case(c1, 48, 18).
-case(c2, 101, 462).
-case(c3, 0, 5).
-case(c4, 270, 192).
-case(c5, -27, 36).
-case(c6, 123456, 7890).
-
-% Derivation rules: each rule below contributes one logical step toward the displayed results.
-answer(Case, Gcd, S, T) :-
-  case(Case, A, B),
-  extended_gcd(A, B, Gcd, S, T).
-
-bezout_ok(Case) :-
-  case(Case, A, B),
-  answer(Case, Gcd, S, T),
-  mul(A, S, AS),
-  mul(B, T, BT),
-  add(AS, BT, Gcd).
-
-divides_ok(Case) :-
-  case(Case, A, B),
-  answer(Case, Gcd, S, T),
-  mod(A, Gcd, 0),
-  mod(B, Gcd, 0).
-
-nonnegative_ok(Case) :-
-  answer(Case, Gcd, S, T),
-  ge(Gcd, 0).
-
-gcd(Case, Gcd) :- answer(Case, Gcd, S, T).
-bezoutCoefficients(Case, [S, T]) :- answer(Case, Gcd, S, T).
-check(Case, bezout_identity) :- bezout_ok(Case).
-check(Case, divides_inputs) :- divides_ok(Case).
-check(Case, nonnegative_gcd) :- nonnegative_ok(Case).
-status(Case, done) :- answer(Case, Gcd, S, T), bezout_ok(Case), divides_ok(Case), nonnegative_ok(Case).