npm - eyelang - Versions diffs - 1.2.2 → 1.3.0 - Mend

eyelang 1.2.2 → 1.3.0

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 (919) hide show

package/test/conformance/cases/008_graphic_atoms.pl DELETED Viewed

@@ -1,6 +0,0 @@
-% Reference 3.5, 5.2, 11: graphic atom constants are scalar terms.
-materialize(value, 2).
-raw_value(hash, #).
-raw_value(arrow, =>).
-raw_value(comparison, =<).
-value(K, V) :- raw_value(K, V).

package/test/conformance/cases/009_comments_and_whitespace.pl DELETED Viewed

@@ -1,5 +0,0 @@
-% Reference 3.2, 3.6: comments are ignored outside quoted text and atoms.
-  item(quoted_percent, "% not a comment").    % trailing comment
-item(quoted_atom, 'has % sign').
-answer(K, V) :- item(K, V).
-materialize(answer, 2).

package/test/conformance/cases/010_variable_scope_and_reuse.pl DELETED Viewed

@@ -1,8 +0,0 @@
-% Reference 5.1, 7.1: variable occurrences are scoped per clause and reused within a clause.
-edge(a, b).
-edge(b, c).
-edge(c, d).
-two_step(X, Z) :- edge(X, Y), edge(Y, Z).
-answer(from_a, Z) :- two_step(a, Z).
-answer(from_b, Z) :- two_step(b, Z).
-materialize(answer, 2).

package/test/conformance/cases/011_predicate_arity.pl DELETED Viewed

@@ -1,6 +0,0 @@
-% Reference 6: predicate name and arity both identify a predicate group.
-p(a).
-p(a, b).
-answer(unary, X) :- p(X).
-answer(binary, pair(X, Y)) :- p(X, Y).
-materialize(answer, 2).

package/test/conformance/cases/012_nested_compound_unification.pl DELETED Viewed

@@ -1,5 +0,0 @@
-% Reference 5.3, 7.1: unification follows nested compound term structure.
-fact(pair(a, nested(b, [c, d]))).
-answer(middle, X) :- fact(pair(a, nested(X, [c, d]))).
-answer(list_tail, T) :- fact(pair(a, nested(b, [c | T]))).
-materialize(answer, 2).

package/test/conformance/cases/013_multiple_clauses_order.pl DELETED Viewed

@@ -1,6 +0,0 @@
-% Reference 6, 7: multiple clauses for one predicate are explored as alternatives.
-color(red).
-color(blue).
-paint(X) :- color(X).
-answer(color, X) :- paint(X).
-materialize(answer, 2).

package/test/conformance/cases/014_failure_filters_answers.pl DELETED Viewed

@@ -1,7 +0,0 @@
-% Reference 7.2: a failing subgoal removes that candidate answer.
-candidate(a).
-candidate(b).
-allowed(a).
-answer(X, ok) :- candidate(X), allowed(X).
-materialize(answer, 2).

package/test/conformance/cases/015_improper_list_unification.pl DELETED Viewed

@@ -1,6 +0,0 @@
-% Reference 5.4: improper list surface syntax unifies with head-tail structure.
-cell([head | tail], head, tail).
-answer(list, L) :- cell(L, head, tail).
-answer(head, H) :- cell([H | tail], H, tail).
-answer(tail, T) :- cell([head | T], head, T).
-materialize(answer, 2).

package/test/conformance/cases/016_arity_zero_atom.pl DELETED Viewed

@@ -1,4 +0,0 @@
-% Reference 4, 5.3: arity-zero data is written as an atom constant.
-status(nil, ok).
-answer(value, X) :- status(X, ok).
-materialize(answer, 2).

package/test/conformance/cases/017_three_step_recursion.pl DELETED Viewed

@@ -1,8 +0,0 @@
-% Reference 7: recursive definite clauses can derive paths beyond one step.
-link(a, b).
-link(b, c).
-link(c, d).
-path(X, Y) :- link(X, Y).
-path(X, Z) :- link(X, Y), path(Y, Z).
-answer(reachable, X) :- path(a, X).
-materialize(answer, 2).

package/test/conformance/cases/018_quoted_atom_readback.pl DELETED Viewed

@@ -1,6 +0,0 @@
-% Reference 3.5, 11: quoted atoms preserve spaces, quotes, and the empty atom.
-symbol('two words').
-symbol('needs''quote').
-symbol('').
-answer(symbol, X) :- symbol(X).
-materialize(answer, 2).

package/test/conformance/cases/019_parenthesized_three_conjuncts.pl DELETED Viewed

@@ -1,7 +0,0 @@
-% Reference 5.5, 7: parenthesized comma terms with more than two members are conjunctions as goals.
-p(a).
-q(a).
-r(a).
-ok(X) :- (p(X), q(X), r(X)).
-answer(ok, X) :- ok(X).
-materialize(answer, 2).

package/test/conformance/cases/020_nested_list_terms.pl DELETED Viewed

@@ -1,5 +0,0 @@
-% Reference 5.3, 5.4: lists may contain structured terms that unify positionally.
-node([pair(a, b), pair(c, d)]).
-answer(first_key, X) :- node([pair(X, _), pair(c, d)]).
-answer(second_key, X) :- node([pair(a, b), pair(X, d)]).
-materialize(answer, 2).

package/test/conformance/cases/021_repeated_variable_head.pl DELETED Viewed

@@ -1,7 +0,0 @@
-% Reference 5.1, 7.1: repeated variables in a rule body require the same term.
-pair(a, a).
-pair(a, b).
-pair(c, c).
-diagonal(X) :- pair(X, X).
-answer(diagonal, X) :- diagonal(X).
-materialize(answer, 2).

package/test/conformance/cases/022_rule_head_structure.pl DELETED Viewed

@@ -1,5 +0,0 @@
-% Reference 5.3, 6, 7.1: structured rule heads destructure matching goals.
-unpack(pair(X, Y), X, Y).
-answer(first, A) :- unpack(pair(alpha, beta), A, _).
-answer(second, B) :- unpack(pair(alpha, beta), _, B).
-materialize(answer, 2).

package/test/conformance/cases/023_quoted_escapes_readback.pl DELETED Viewed

@@ -1,5 +0,0 @@
-% Reference 3.5, 11: quoted strings and atoms preserve escape sequences at read-back.
-raw(string, "line\nnext\t\\slash").
-raw(atom, 'line\nnext\t\\slash').
-answer(K, V) :- raw(K, V).
-materialize(answer, 2).

package/test/conformance/cases/024_numeric_literal_readback.pl DELETED Viewed

@@ -1,6 +0,0 @@
-% Reference 3.3, 11: signed, decimal, and exponent numeric literals retain lexical form.
-raw(negative_decimal, -3.5).
-raw(positive_exp, 6.02e23).
-raw(negative_exp, -1.0e-3).
-answer(K, V) :- raw(K, V).
-materialize(answer, 2).

package/test/conformance/cases/025_body_parentheses_with_formula_data.pl DELETED Viewed

@@ -1,5 +0,0 @@
-% Reference 5.5, 7: formula data can be passed through parenthesized conjunctions.
-record((left(a), right(b))).
-accept((left(a), right(b))).
-answer(ok, F) :- (record(F), accept(F)).
-materialize(answer, 2).

package/test/conformance/cases/026_underscore_named_variable_reuse.pl DELETED Viewed

@@ -1,5 +0,0 @@
-% Reference 3.4, 5.1: variables beginning with underscore are named variables unless exactly _.
-pair(a, a).
-pair(a, b).
-answer(shared, _Value) :- pair(_Value, _Value).
-materialize(answer, 2).

package/test/conformance/cases/027_default_derived_output.pl DELETED Viewed

@@ -1,5 +0,0 @@
-% Reference 11: default output prints new ground binary derivations, not source facts.
-parent(pat, jan).
-parent(jan, emma).
-ancestor(X, Y) :- parent(X, Y).
-ancestor(X, Z) :- parent(X, Y), ancestor(Y, Z).

package/test/conformance/cases/028_materialize_focus.pl DELETED Viewed

@@ -1,5 +0,0 @@
-% Reference 10.2, 11: materialize/2 restricts selected default predicate groups.
-materialize(answer, 2).
-seed(a).
-helper(X, y) :- seed(X).
-answer(X, ok) :- helper(X, y).

package/test/conformance/cases/029_arithmetic_and_comparison.pl DELETED Viewed

@@ -1,11 +0,0 @@
-% Reference 9.2, 9.3: arithmetic and comparison built-ins.
-answer(sum, X) :- add(2, 3, X).
-answer(diff, X) :- sub(7, 4, X).
-answer(product, X) :- mul(6, 7, X).
-answer(integer_division, X) :- div(7, 2, X).
-answer(remainder, X) :- mod(7, 2, X).
-answer(power, X) :- pow(2, 8, X).
-answer(minimum, X) :- min(3, 9, X).
-answer(less_than, true) :- lt(3, 9).
-answer(greater_equal, true) :- ge(9, 9).
-materialize(answer, 2).

package/test/conformance/cases/030_strings_and_atoms.pl DELETED Viewed

@@ -1,4 +0,0 @@
-% Reference 9.6: atom and string built-ins.
-answer(str_concat, X) :- str_concat("eye", "lang", X).
-answer(contains, true) :- contains("eyelang", "yel").
-materialize(answer, 2).

package/test/conformance/cases/031_lists_aggregation_ordering.pl DELETED Viewed

@@ -1,10 +0,0 @@
-% Reference 9.7, 9.8: list, aggregation, and ordering built-ins.
-answer(member, X) :- member(X, [a, b]).
-answer(append, X) :- append([a], [b, c], X).
-answer(nth0, X) :- nth0(1, [a, b, c], X).
-answer(set_nth0, X) :- set_nth0(1, [a, b, c], x, X).
-answer(reverse, X) :- reverse([a, b, c], X).
-answer(length, N) :- length([a, b, c], N).
-answer(findall, X) :- findall(N, between(1, 3, N), X).
-answer(sort, X) :- sort([b, a, b], X).
-materialize(answer, 2).

package/test/conformance/cases/032_holds_parts.pl DELETED Viewed

@@ -1,4 +0,0 @@
-% Reference 9.9: holds/3 exposes context members of any arity.
-context((ready, name(alice, "Alice"), route(alice, bob, 7))).
-answer(parts, exposed(Name, Args)) :- context(C), holds(C, Name, Args).
-materialize(answer, 2).

package/test/conformance/cases/033_negation_once_generators.pl DELETED Viewed

@@ -1,7 +0,0 @@
-% Reference 9.5, 9.10: generators, negation as failure, and once/1.
-candidate(a).
-candidate(b).
-closed(b).
-answer(open, X) :- candidate(X), not(closed(X)).
-answer(first_between, X) :- once(between(2, 4, X)).
-materialize(answer, 2).

package/test/conformance/cases/034_equality_and_inequality.pl DELETED Viewed

@@ -1,6 +0,0 @@
-% Reference 9.1: eq/2 unifies terms and neq/2 succeeds on non-unifiable terms.
-answer(eq_variable, X) :- eq(X, pair(a, [b, c])).
-answer(eq_nested, true) :- eq(pair(X, X), pair(same, same)).
-answer(neq_atoms, true) :- neq(alice, bob).
-answer(neq_structures, true) :- neq(pair(a), pair(a, b)).
-materialize(answer, 2).

package/test/conformance/cases/035_list_relations.pl DELETED Viewed

@@ -1,5 +0,0 @@
-% Reference 9.7: rest/2, select/3, and not_member/2.
-answer(rest, X) :- rest([a, b, c], X).
-answer(select, selected(X, R)) :- select(X, [a, b], R).
-answer(not_member, true) :- not_member(c, [a, b]).
-materialize(answer, 2).

package/test/conformance/cases/036_append_splits.pl DELETED Viewed

@@ -1,3 +0,0 @@
-% Reference 9.7: append/3 can enumerate proper prefix/suffix splits.
-answer(split, split(A, B)) :- append(A, B, [a, b]).
-materialize(answer, 2).

package/test/conformance/cases/038_memoize_declaration.pl DELETED Viewed

@@ -1,8 +0,0 @@
-% Reference 10.1: memoize/2 is a declaration and does not change answers.
-materialize(reach, 2).
-memoize(reach_any, 2).
-edge(a, b).
-edge(b, c).
-reach_any(X, Y) :- edge(X, Y).
-reach_any(X, Z) :- edge(X, Y), reach_any(Y, Z).
-reach(a, Y) :- reach_any(a, Y).

package/test/conformance/cases/038_memoize_declaration.query DELETED Viewed

	@@ -1 +0,0 @@
1	- reach(a, X)

package/test/conformance/cases/039_numeric_functions.pl DELETED Viewed

@@ -1,9 +0,0 @@
-% Reference 9.2: scalar arithmetic functions return numeric values.
-answer(neg, X) :- neg(5, X).
-answer(abs, X) :- abs(-5, X).
-answer(rounded, X) :- rounded(2.6, X).
-answer(sin_zero, X) :- sin(0, X).
-answer(cos_zero, X) :- cos(0, X).
-answer(log_one, X) :- log(1, X).
-answer(float_division, X) :- div(7.0, 2.0, X).
-materialize(answer, 2).

package/test/conformance/cases/040_between_enumeration.pl DELETED Viewed

@@ -1,3 +0,0 @@
-% Reference 9.5: between/3 enumerates every integer in an inclusive range.
-answer(n, X) :- between(3, 5, X).
-materialize(answer, 2).

package/test/conformance/cases/041_smallest_divisor.pl DELETED Viewed

@@ -1,3 +0,0 @@
-% Reference 9.5: smallest_divisor_from/3 finds the first divisor at or above the start.
-answer(divisor, D) :- smallest_divisor_from(21, 2, D).
-materialize(answer, 2).

package/test/conformance/cases/042_negation_filter.pl DELETED Viewed

@@ -1,7 +0,0 @@
-% Reference 9.10: not/1 succeeds when the subgoal has no proof.
-candidate(a).
-candidate(b).
-candidate(c).
-blocked(b).
-answer(open, X) :- candidate(X), not(blocked(X)).
-materialize(answer, 2).

package/test/conformance/cases/043_once_user_predicate.pl DELETED Viewed

@@ -1,5 +0,0 @@
-% Reference 9.10: once/1 keeps at most the first solution from a user predicate.
-choice(a).
-choice(b).
-answer(first, X) :- once(choice(X)).
-materialize(answer, 2).

package/test/conformance/cases/044_findall_user_goal.pl DELETED Viewed

@@ -1,6 +0,0 @@
-% Reference 9.8: findall/3 collects templates for every solution of a user goal.
-p(b).
-p(a).
-p(b).
-answer(bag, X) :- findall(P, p(P), X).
-materialize(answer, 2).

package/test/conformance/cases/045_sort_deduplicates_atoms.pl DELETED Viewed

@@ -1,3 +0,0 @@
-% Reference 9.8: sort/2 sorts and deduplicates a proper list.
-answer(sorted, X) :- sort([c, a, b, a], X).
-materialize(answer, 2).

package/test/conformance/cases/046_append_bound_prefix_suffix.pl DELETED Viewed

@@ -1,4 +0,0 @@
-% Reference 9.7: append/3 supports bound prefix and suffix use cases.
-answer(prefix, X) :- append(X, [c], [a, b, c]).
-answer(suffix, X) :- append([a], X, [a, b, c]).
-materialize(answer, 2).

package/test/conformance/cases/047_nth0_index_generation.pl DELETED Viewed

@@ -1,3 +0,0 @@
-% Reference 9.7: nth0/3 can bind the index for a known list element.
-answer(index, I) :- nth0(I, [a, b, c], b).
-materialize(answer, 2).

package/test/conformance/cases/048_set_nth0_edges.pl DELETED Viewed

@@ -1,4 +0,0 @@
-% Reference 9.7: set_nth0/4 updates zero-based positions functionally.
-answer(first, X) :- set_nth0(0, [a, b, c], x, X).
-answer(last, X) :- set_nth0(2, [a, b, c], z, X).
-materialize(answer, 2).

package/test/conformance/cases/049_select_duplicate_occurrences.pl DELETED Viewed

@@ -1,3 +0,0 @@
-% Reference 9.7: select/3 enumerates removals of matching occurrences.
-answer(rest, X) :- select(a, [a, b, a], X).
-materialize(answer, 2).

package/test/conformance/cases/050_not_member_filter.pl DELETED Viewed

@@ -1,6 +0,0 @@
-% Reference 9.7: not_member/2 can filter finite candidates.
-candidate(a).
-candidate(b).
-candidate(c).
-answer(not_present, X) :- candidate(X), not_member(X, [a, b]).
-materialize(answer, 2).

package/test/conformance/cases/051_nested_holds_parts.pl DELETED Viewed

@@ -1,4 +0,0 @@
-% Reference 9.9: holds/3 enumerates nested comma contexts.
-context(((ready, name(a, "A")), route(a, b, 7))).
-answer(parts, exposed(Name, Args)) :- context(C), holds(C, Name, Args).
-materialize(answer, 2).

package/test/conformance/cases/052_holds_member.pl DELETED Viewed

@@ -1,3 +0,0 @@
-% Reference 9.9: holds/2 over comma context data.
-context((name(alice, "Alice"), knows(alice, bob))).
-answer(member, Term) :- context(C), holds(C, Term).

package/test/conformance/cases/053_materialize_excludes_source_fact.pl DELETED Viewed

@@ -1,6 +0,0 @@
-% Reference 11: default materialization excludes source facts even if also derivable.
-materialize(answer, 2).
-seed(a).
-answer(a, ok).
-answer(X, ok) :- seed(X).
-answer(b, ok) :- seed(a).

package/test/conformance/cases/055_string_matching_filters.pl DELETED Viewed

@@ -1,6 +0,0 @@
-% Reference 9.6: matches/2 and not_matches/2 can filter candidate strings.
-text(a, "alpha").
-text(b, "beta").
-answer(has_ph, K) :- text(K, T), matches(T, "ph").
-answer(no_ph, K) :- text(K, T), not_matches(T, "ph").
-materialize(answer, 2).

package/test/conformance/cases/056_string_and_atom_concat.pl DELETED Viewed

@@ -1,3 +0,0 @@
-% Reference 9.6: str_concat/3 concatenates strings.
-answer(string, X) :- str_concat("eye", "lang", X).
-materialize(answer, 2).

package/test/conformance/cases/057_countall_empty_and_nonempty.pl DELETED Viewed

@@ -1,4 +0,0 @@
-item(a).
-item(b).
-answer(counts, counts(C, Z)) :- countall(item(X), C), countall(missing(X), Z).
-materialize(answer, 2).

package/test/conformance/cases/058_sumall_numeric_template.pl DELETED Viewed

@@ -1,5 +0,0 @@
-score(a, 4).
-score(b, 5).
-score(c, -2).
-answer(sum, Sum) :- sumall(S, score(_Item, S), Sum).
-materialize(answer, 2).

package/test/conformance/cases/059_aggregate_min_template.pl DELETED Viewed

@@ -1,5 +0,0 @@
-score(alpha, 7).
-score(beta, 3).
-score(gamma, 5).
-answer(min, result(BestS, Best)) :- aggregate_min(S, item(Name, S), score(Name, S), BestS, Best).
-materialize(answer, 2).

package/test/conformance/cases/060_aggregate_max_compound_key.pl DELETED Viewed

@@ -1,5 +0,0 @@
-score(alpha, 7).
-score(beta, 7).
-score(gamma, 5).
-answer(max, result(Key, BestName)) :- aggregate_max([S, Name], Name, score(Name, S), Key, BestName).
-materialize(answer, 2).

package/test/conformance/cases/061_date_difference.pl DELETED Viewed

@@ -1,4 +0,0 @@
-% Reference 9.1: difference/3 computes ISO date durations.
-answer(duration, D) :- difference("2024-03-01", "2020-02-29", D).
-answer(month_borrow, D) :- difference("2024-03-01", "2024-01-31", D).
-materialize(answer, 2).

package/test/conformance/cases/062_reusable_numeric_builtins.pl DELETED Viewed

@@ -1,10 +0,0 @@
-% Reference 9.1: reusable numeric functions and max/3.
-materialize(answer, 2).
-answer(max, X) :- max(17, 42, X).
-answer(sqrt, X) :- sqrt(81, X).
-answer(floor, X) :- floor(3.9, X).
-answer(ceiling, X) :- ceiling(3.1, X).
-answer(trunc, X) :- trunc(-3.9, X).
-answer(exp, X) :- exp(0, X).
-answer(tan, X) :- tan(0, X).
-answer(atan2, X) :- atan2(0, -1, X).

package/test/conformance/cases/063_reusable_list_builtins.pl DELETED Viewed

@@ -1,11 +0,0 @@
-% Reference 9.1: reusable list selectors, slices, summaries, and stable set conversion.
-materialize(answer, 2).
-answer(head, X) :- head([alpha, beta, gamma, beta], X).
-answer(last, X) :- last([alpha, beta, gamma, beta], X).
-answer(take, X) :- take(2, [alpha, beta, gamma, beta], X).
-answer(drop, X) :- drop(2, [alpha, beta, gamma, beta], X).
-answer(slice, X) :- slice(1, 2, [alpha, beta, gamma, beta], X).
-answer(sum, X) :- sum_list([1, 2, 3.5], X).
-answer(min, X) :- min_list([3, 1, 2], X).
-answer(max, X) :- max_list([3, 1, 2], X).
-answer(set, X) :- list_to_set([beta, alpha, beta, gamma, alpha], X).

package/test/conformance/cases/064_reusable_string_builtins.pl DELETED Viewed

@@ -1,12 +0,0 @@
-% Reference 9.1: reusable string normalization, splitting, joining, replacement, and conversions.
-materialize(answer, 2).
-answer(trim, X) :- trim("  Hello Eyelang  ", X).
-answer(lower, X) :- lowercase("Hello Eyelang", X).
-answer(upper, X) :- uppercase("Hello Eyelang", X).
-answer(split, X) :- split("red,green,blue", ",", X).
-answer(join, X) :- join([red, green, blue], ":", X).
-answer(substring, X) :- substring("abcdef", 2, 3, X).
-answer(replace, X) :- replace("red-green-red", "red", "blue", X).
-answer(number_to_string, X) :- number_string(42, X).
-answer(string_to_number, X) :- number_string(X, "3.5").
-answer(atom_string, X) :- atom_string(eyelang, X).

package/test/conformance/cases/065_reusable_term_control_builtins.pl DELETED Viewed

@@ -1,11 +0,0 @@
-% Reference 9.1: term introspection/construction, term strings, and forall/2.
-materialize(answer, 2).
-item(1).
-item(2).
-item(3).
-answer(functor, pair(Name, Arity)) :- functor(edge(a, b), Name, Arity).
-answer(arg, X) :- arg(2, edge(a, b), X).
-answer(decompose, pair(Name, Args)) :- compound_name_arguments(edge(a, b), Name, Args).
-answer(compose, X) :- compound_name_arguments(X, edge, [a, b]).
-answer(term_string, X) :- term_string(edge(a, [b, c]), X).
-answer(forall, ok) :- forall(item(X), lt(X, 4)).

package/test/conformance/cases/066_numeric_edges.pl DELETED Viewed

@@ -1,14 +0,0 @@
-% Reference 9.1: reusable numeric functions preserve integer paths and define finite failure modes.
-materialize(answer, 2).
-answer(max_negative, X) :- max(-10, -3, X).
-answer(min_float, X) :- min(2.5, -1.25, X).
-answer(floor_negative, X) :- floor(-3.1, X).
-answer(ceiling_negative, X) :- ceiling(-3.9, X).
-answer(trunc_positive, X) :- trunc(3.9, X).
-answer(sqrt_fraction, X) :- sqrt(2.25, X).
-answer(pow_fraction, X) :- pow(9, 0.5, X).
-answer(sqrt_negative_rejected, ok) :- not(sqrt(-1, X)).
-answer(log_zero_rejected, ok) :- not(log(0, X)).
-answer(div_zero_rejected, ok) :- not(div(1, 0, X)).
-answer(mod_float_rejected, ok) :- not(mod(5.5, 2, X)).
-answer(pow_negative_integer_exponent_rejected, ok) :- not(pow(2, -1, X)).

package/test/conformance/cases/067_list_edges.pl DELETED Viewed

@@ -1,10 +0,0 @@
-% Reference 9.1: reusable list selectors and slices have explicit finite boundary behavior.
-materialize(answer, 2).
-answer(take_zero, X) :- take(0, [a, b, c], X).
-answer(drop_all, X) :- drop(3, [a, b, c], X).
-answer(slice_empty, X) :- slice(1, 0, [a, b, c], X).
-answer(last_single, X) :- last([only], X).
-answer(head_rest, pair(H, R)) :- head([a, b, c], H), rest([a, b, c], R).
-answer(take_too_many_rejected, ok) :- not(take(4, [a, b, c], X)).
-answer(drop_too_many_rejected, ok) :- not(drop(4, [a, b, c], X)).
-answer(last_empty_rejected, ok) :- not(last([], X)).

package/test/conformance/cases/068_list_generation_order.pl DELETED Viewed

@@ -1,7 +0,0 @@
-% Reference 9.1: reusable list relations enumerate in stable left-to-right order.
-materialize(answer, 2).
-answer(append_split, pair(Prefix, Suffix)) :- append(Prefix, Suffix, [a, b]).
-answer(nth, pair(Index, Value)) :- nth0(Index, [x, y], Value).
-answer(select, pair(Value, Rest)) :- select(Value, [a, b, a], Rest).
-answer(not_member_atom, ok) :- not_member(z, [a, b, c]).
-answer(not_member_unifiable_rejected, ok) :- not(not_member(pair(X), [pair(a)])).

package/test/conformance/cases/069_list_summaries_and_sets.pl DELETED Viewed

@@ -1,9 +0,0 @@
-% Reference 9.1: list summaries accept mixed numeric values and stable duplicate removal.
-materialize(answer, 2).
-answer(sum_empty, X) :- sum_list([], X).
-answer(sum_mixed, X) :- sum_list([1, 2.5, 3], X).
-answer(min_atom_order, X) :- min_list([delta, beta, gamma], X).
-answer(max_atom_order, X) :- max_list([delta, beta, gamma], X).
-answer(set_terms, X) :- list_to_set([pair(a, 1), pair(a, 1), pair(b, 2), pair(a, 1)], X).
-answer(min_empty_rejected, ok) :- not(min_list([], X)).
-answer(max_empty_rejected, ok) :- not(max_list([], X)).

package/test/conformance/cases/070_matches_named_captures.pl DELETED Viewed

@@ -1,13 +0,0 @@
-% Reference 9.6: matches/3 extracts named regular-expression captures into a context.
-materialize(answer, 3).
-line("event=login_failed user=alice trace=4bf92f3577b34da6a3ce929d0e0e4736").
-pattern("^event=(?<event>\\w+) user=(?<user>\\w+) trace=(?<trace_id>[0-9a-f]{32})$").
-answer(User, Event, TraceId) :-
-  line(Text),
-  pattern(Pattern),
-  matches(Text, Pattern, Context),
-  holds(Context, event(Event)),
-  holds(Context, user(User)),
-  holds(Context, trace_id(TraceId)).

package/test/conformance/cases/071_string_edges.pl DELETED Viewed

@@ -1,10 +0,0 @@
-% Reference 9.1: reusable string built-ins cover empty results and scalar list items.
-materialize(answer, 2).
-answer(split_missing_separator, X) :- split("abc", ",", X).
-answer(split_empty_separator, X) :- split("abc", "", X).
-answer(join_empty, X) :- join([], ",", X).
-answer(join_numbers, X) :- join([1, 2, 3], "-", X).
-answer(substring_empty, X) :- substring("abcdef", 2, 0, X).
-answer(replace_empty_search, X) :- replace("abc", "", "x", X).
-answer(lower_string, X) :- lowercase("Hello", X).
-answer(upper_string, X) :- uppercase("Eyelang 123", X).

package/test/conformance/cases/072_string_conversions.pl DELETED Viewed

@@ -1,10 +0,0 @@
-% Reference 9.1: string/atom/number conversions are deterministic in documented modes.
-materialize(answer, 2).
-answer(number_to_string, X) :- number_string(-7, X).
-answer(string_to_integer, X) :- number_string(X, "123").
-answer(string_to_decimal, X) :- number_string(X, "-3.5").
-answer(non_numeric_rejected, ok) :- not(number_string(X, "abc")).
-answer(atom_to_string, X) :- atom_string(hello_world, X).
-answer(string_to_atom, X) :- atom_string(X, "hello_world").
-answer(number_to_atom, X) :- atom_string(X, 123).
-answer(trim_to_empty, X) :- trim("   ", X).

package/test/conformance/cases/073_term_introspection_edges.pl DELETED Viewed

@@ -1,10 +0,0 @@
-% Reference 9.1: term-inspection built-ins expose scalars, nested arguments, and atom construction from an empty argument list.
-materialize(answer, 2).
-answer(functor_atom, pair(Name, Arity)) :- functor(alpha, Name, Arity).
-answer(functor_number, pair(Name, Arity)) :- functor(42, Name, Arity).
-answer(functor_string, pair(Name, Arity)) :- functor("hi", Name, Arity).
-answer(arg_nested, X) :- arg(1, path(edge(a, b), c), X).
-answer(compose_nested, X) :- compound_name_arguments(X, outer, [inner(a), [b, c]]).
-answer(compose_atom_empty_args, X) :- compound_name_arguments(X, z, []).
-answer(arg_zero_rejected, ok) :- not(arg(0, edge(a, b), X)).
-answer(arg_too_large_rejected, ok) :- not(arg(3, edge(a, b), X)).

package/test/conformance/cases/074_forall_edges.pl DELETED Viewed

@@ -1,10 +0,0 @@
-% Reference 9.1: forall/2 succeeds for every generated binding, including the empty generator case.
-materialize(answer, 2).
-small(1).
-small(2).
-large(3).
-answer(all_small, ok) :- forall(small(X), lt(X, 3)).
-answer(empty_generator, ok) :- forall(missing(X), lt(X, 0)).
-answer(not_all_large, ok) :- not(forall(large(X), lt(X, 3))).
-answer(bound_outer_environment, ok) :- small(X), eq(X, 1), forall(small(Y), le(X, Y)).
-answer(checker_can_use_generator_binding, ok) :- forall(small(X), member(X, [1, 2, 3])).

package/test/conformance/cases/075_aggregation_edges.pl DELETED Viewed

@@ -1,12 +0,0 @@
-% Reference 9.1: aggregation handles empty result sets, structured templates, and ordered best answers.
-materialize(answer, 2).
-score(alice, 2).
-score(bob, 1).
-score(cara, 3).
-answer(findall_empty, X) :- findall(V, missing(V), X).
-answer(count_filtered, X) :- countall((score(Name, Score), gt(Score, 1)), X).
-answer(sum_empty, X) :- sumall(V, missing(V), X).
-answer(sum_scores, X) :- sumall(Score, score(Name, Score), X).
-answer(best_min, pair(Key, Value)) :- aggregate_min(Score, Name, score(Name, Score), Key, Value).
-answer(best_max, pair(Key, Value)) :- aggregate_max(Score, Name, score(Name, Score), Key, Value).
-answer(best_empty_rejected, ok) :- not(aggregate_min(Key, Value, missing(Value), Key, Value)).

package/test/conformance/cases/076_composed_reusable_builtins.pl DELETED Viewed

@@ -1,8 +0,0 @@
-% Reference 9.1: reusable built-ins compose without special host predicates.
-materialize(answer, 2).
-line("  red,green,blue  ").
-answer(clean_join, X) :- line(Raw), trim(Raw, Trimmed), split(Trimmed, ",", Parts), join(Parts, "|", X).
-answer(middle_upper, X) :- line(Raw), trim(Raw, Trimmed), split(Trimmed, ",", Parts), nth0(1, Parts, Middle), uppercase(Middle, X).
-answer(summary, result(Head, Last, Count)) :- line(Raw), trim(Raw, T), split(T, ",", Parts), head(Parts, Head), last(Parts, Last), length(Parts, Count).
-answer(term_report, X) :- compound_name_arguments(Term, measurement, [temperature, 21]), term_string(Term, X).
-answer(score_text, X) :- max_list([3, 9, 5], Max), number_string(Max, Text), str_concat("max=", Text, X).

package/test/conformance/cases/077_recursive_path_with_lists.pl DELETED Viewed

@@ -1,10 +0,0 @@
-% Reference 5.4, 7.3, 9.7: recursive path construction can carry list evidence.
-materialize(answer, 2).
-edge(a, b).
-edge(b, c).
-edge(c, d).
-path(X, Y, [X, Y]) :- edge(X, Y).
-path(X, Z, [X | Rest]) :- edge(X, Y), path(Y, Z, Rest).
-answer(path, P) :- path(a, d, P).
-answer(prefix, P) :- path(a, d, Full), take(2, Full, P).
-answer(suffix, S) :- path(a, d, Full), drop(2, Full, S).

package/test/conformance/cases/078_mutual_recursion_with_arithmetic.pl DELETED Viewed

@@ -1,7 +0,0 @@
-% Reference 7.3, 9.2, 9.5: finite arithmetic recursion works with generated ranges.
-materialize(answer, 2).
-even(0).
-even(N) :- gt(N, 0), sub(N, 1, M), odd(M).
-odd(N) :- gt(N, 0), sub(N, 1, M), even(M).
-answer(even, N) :- between(0, 6, N), even(N).
-answer(odd, N) :- between(0, 6, N), odd(N).

package/test/conformance/cases/079_big_integer_arithmetic.pl DELETED Viewed

@@ -1,8 +0,0 @@
-% Reference 9.2: integer arithmetic keeps exact BigInt paths where possible.
-materialize(answer, 2).
-answer(add_big, X) :- add(9007199254740993, 7, X).
-answer(sub_big, X) :- sub(9007199254741000, 7, X).
-answer(mul_big, X) :- mul(123456789, 987654321, X).
-answer(pow_big, X) :- pow(2, 63, X).
-answer(div_big, X) :- div(9223372036854775808, 2, X).
-answer(mod_big, X) :- mod(9223372036854775809, 10, X).

package/test/conformance/cases/080_rounding_modes.pl DELETED Viewed

@@ -1,10 +0,0 @@
-% Reference 9.2: rounding built-ins have distinct behavior for positive and negative decimals.
-materialize(answer, 2).
-answer(floor_pos, X) :- floor(3.9, X).
-answer(floor_neg, X) :- floor(-3.1, X).
-answer(ceiling_pos, X) :- ceiling(3.1, X).
-answer(ceiling_neg, X) :- ceiling(-3.9, X).
-answer(trunc_pos, X) :- trunc(3.9, X).
-answer(trunc_neg, X) :- trunc(-3.9, X).
-answer(round_half_up, X) :- rounded(2.5, X).
-answer(round_half_neg, X) :- rounded(-2.5, X).