npm - eyeling - Versions diffs - 1.32.1 → 1.33.1 - Mend

eyeling 1.32.1 → 1.33.1

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

package/test/eyelang/conformance/cases/core/001_fact_query.query ADDED Viewed

	@@ -0,0 +1 @@
1	+ parent(pat, X)

package/test/eyelang/conformance/cases/core/002_rule_recursion.pl ADDED Viewed

@@ -0,0 +1,7 @@
+% SPEC 6, 7: definite clauses, conjunction, and recursive proof search.
+materialize(ancestor, 2).
+parent(pat, jan).
+parent(jan, emma).
+ancestor_any(X, Y) :- parent(X, Y).
+ancestor_any(X, Z) :- parent(X, Y), ancestor_any(Y, Z).
+ancestor(pat, Y) :- ancestor_any(pat, Y).

package/test/eyelang/conformance/cases/core/002_rule_recursion.query ADDED Viewed

	@@ -0,0 +1 @@
1	+ ancestor(pat, X)

package/test/eyelang/conformance/cases/core/003_terms_and_readback.pl ADDED Viewed

@@ -0,0 +1,16 @@
+% SPEC 3, 5, 11: scalars, compounds, lists, and read-back printing.
+materialize(value, 2).
+raw_value(atom, pat).
+raw_value(quoted_atom, 'atom with spaces').
+raw_value(quoted_quote, 'needs''quote').
+raw_value(empty_atom, '').
+raw_value(string, "line\nquote: \"ok\"").
+raw_value(integer, -42).
+raw_value(decimal, 0.25).
+raw_value(scientific, 1.25e-3).
+raw_value(compound, pair(3, nested(atom, [x, y]))).
+raw_value(zero_arity, nil()).
+raw_value(empty_list, []).
+raw_value(proper_list, [a, b, c]).
+raw_value(improper_list, [a, b | tail]).
+value(K, V) :- raw_value(K, V).

package/test/eyelang/conformance/cases/core/003_terms_and_readback.query ADDED Viewed

	@@ -0,0 +1 @@
1	+ value(K, V)

package/test/eyelang/conformance/cases/core/004_conjunction_and_parentheses.pl ADDED Viewed

@@ -0,0 +1,5 @@
+% SPEC 5.5, 7: parenthesized comma terms are conjunctions in goal position.
+p(a).
+q(a).
+ok(X, yes) :- (p(X), q(X)).
+materialize(ok, 2).

package/test/eyelang/conformance/cases/core/004_conjunction_and_parentheses.query ADDED Viewed

	@@ -0,0 +1 @@
1	+ ok(X, Y)

package/test/eyelang/conformance/cases/core/005_list_deconstruction.pl ADDED Viewed

@@ -0,0 +1,6 @@
+% SPEC 5.4, 12.1: list syntax and unification in rule heads.
+first([X | _Rest], X).
+tail([_Head | Tail], Tail).
+answer(first, X) :- first([a, b, c], X).
+answer(tail, Tail) :- tail([a, b, c], Tail).
+materialize(answer, 2).

package/test/eyelang/conformance/cases/core/005_list_deconstruction.query ADDED Viewed

	@@ -0,0 +1 @@
1	+ answer(K, V)

package/test/eyelang/conformance/cases/core/006_comma_formula_data.pl ADDED Viewed

@@ -0,0 +1,4 @@
+% SPEC 5.5: comma terms remain data outside goal position.
+record((name(alice, "Alice"), knows(alice, bob))).
+answer(formula, F) :- record(F).
+materialize(answer, 2).

package/test/eyelang/conformance/cases/core/006_comma_formula_data.query ADDED Viewed

	@@ -0,0 +1 @@
1	+ answer(K, V)

package/test/eyelang/conformance/cases/core/007_anonymous_variables.pl ADDED Viewed

@@ -0,0 +1,5 @@
+% SPEC 3.4, 5.1, 7.1: each anonymous variable occurrence is fresh.
+pair(a, one).
+pair(b, two).
+answer(fresh, yes) :- pair(a, _), pair(b, _).
+materialize(answer, 2).

package/test/eyelang/conformance/cases/core/007_anonymous_variables.query ADDED Viewed

	@@ -0,0 +1 @@
1	+ answer(K, V)

package/test/eyelang/conformance/cases/core/008_graphic_atoms.pl ADDED Viewed

@@ -0,0 +1,6 @@
+% SPEC 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/eyelang/conformance/cases/core/008_graphic_atoms.query ADDED Viewed

	@@ -0,0 +1 @@
1	+ value(K, V)

package/test/eyelang/conformance/cases/core/009_comments_and_whitespace.pl ADDED Viewed

@@ -0,0 +1,5 @@
+% SPEC 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/eyelang/conformance/cases/core/009_comments_and_whitespace.query ADDED Viewed

	@@ -0,0 +1 @@
1	+ answer(K, V)

package/test/eyelang/conformance/cases/core/010_variable_scope_and_reuse.pl ADDED Viewed

@@ -0,0 +1,8 @@
+% SPEC 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/eyelang/conformance/cases/core/010_variable_scope_and_reuse.query ADDED Viewed

	@@ -0,0 +1 @@
1	+ answer(K, V)

package/test/eyelang/conformance/cases/core/011_predicate_arity.pl ADDED Viewed

@@ -0,0 +1,6 @@
+% SPEC 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/eyelang/conformance/cases/core/011_predicate_arity.query ADDED Viewed

	@@ -0,0 +1 @@
1	+ answer(K, V)

package/test/eyelang/conformance/cases/core/012_nested_compound_unification.pl ADDED Viewed

@@ -0,0 +1,5 @@
+% SPEC 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/eyelang/conformance/cases/core/012_nested_compound_unification.query ADDED Viewed

	@@ -0,0 +1 @@
1	+ answer(K, V)

package/test/eyelang/conformance/cases/core/013_multiple_clauses_order.pl ADDED Viewed

@@ -0,0 +1,6 @@
+% SPEC 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/eyelang/conformance/cases/core/013_multiple_clauses_order.query ADDED Viewed

	@@ -0,0 +1 @@
1	+ answer(K, V)

package/test/eyelang/conformance/cases/core/014_failure_filters_answers.pl ADDED Viewed

@@ -0,0 +1,7 @@
+% SPEC 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/eyelang/conformance/cases/core/014_failure_filters_answers.query ADDED Viewed

	@@ -0,0 +1 @@
1	+ answer(X, V)

package/test/eyelang/conformance/cases/core/015_improper_list_unification.pl ADDED Viewed

@@ -0,0 +1,6 @@
+% SPEC 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/eyelang/conformance/cases/core/015_improper_list_unification.query ADDED Viewed

	@@ -0,0 +1 @@
1	+ answer(K, V)

package/test/eyelang/conformance/cases/core/016_zero_arity_compound.pl ADDED Viewed

@@ -0,0 +1,4 @@
+% SPEC 4, 5.3: zero-arity compounds are written and matched with parentheses.
+status(nil(), ok).
+answer(value, X) :- status(X, ok).
+materialize(answer, 2).

package/test/eyelang/conformance/cases/core/016_zero_arity_compound.query ADDED Viewed

	@@ -0,0 +1 @@
1	+ answer(K, V)

package/test/eyelang/conformance/cases/core/017_three_step_recursion.pl ADDED Viewed

@@ -0,0 +1,8 @@
+% SPEC 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/eyelang/conformance/cases/core/017_three_step_recursion.query ADDED Viewed

	@@ -0,0 +1 @@
1	+ answer(K, V)

package/test/eyelang/conformance/cases/core/018_quoted_atom_readback.pl ADDED Viewed

@@ -0,0 +1,6 @@
+% SPEC 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/eyelang/conformance/cases/core/018_quoted_atom_readback.query ADDED Viewed

	@@ -0,0 +1 @@
1	+ answer(K, V)

package/test/eyelang/conformance/cases/core/019_parenthesized_three_conjuncts.pl ADDED Viewed

@@ -0,0 +1,7 @@
+% SPEC 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/eyelang/conformance/cases/core/019_parenthesized_three_conjuncts.query ADDED Viewed

	@@ -0,0 +1 @@
1	+ answer(K, V)

package/test/eyelang/conformance/cases/core/020_nested_list_terms.pl ADDED Viewed

@@ -0,0 +1,5 @@
+% SPEC 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/eyelang/conformance/cases/core/020_nested_list_terms.query ADDED Viewed

	@@ -0,0 +1 @@
1	+ answer(K, V)

package/test/eyelang/conformance/cases/core/021_repeated_variable_head.pl ADDED Viewed

@@ -0,0 +1,7 @@
+% SPEC 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/eyelang/conformance/cases/core/022_rule_head_structure.pl ADDED Viewed

@@ -0,0 +1,5 @@
+% SPEC 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/eyelang/conformance/cases/core/023_quoted_escapes_readback.pl ADDED Viewed

@@ -0,0 +1,5 @@
+% SPEC 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/eyelang/conformance/cases/core/024_numeric_literal_readback.pl ADDED Viewed

@@ -0,0 +1,6 @@
+% SPEC 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/eyelang/conformance/cases/core/025_body_parentheses_with_formula_data.pl ADDED Viewed

@@ -0,0 +1,5 @@
+% SPEC 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/eyelang/conformance/cases/core/026_underscore_named_variable_reuse.pl ADDED Viewed

@@ -0,0 +1,5 @@
+% SPEC 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/eyelang/conformance/cases/extension/001_default_derived_output.pl ADDED Viewed

@@ -0,0 +1,5 @@
+% SPEC 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/eyelang/conformance/cases/extension/002_materialize_focus.pl ADDED Viewed

@@ -0,0 +1,5 @@
+% SPEC 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/eyelang/conformance/cases/extension/003_arithmetic_and_comparison.pl ADDED Viewed

@@ -0,0 +1,12 @@
+% SPEC 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(maximum, X) :- max(3, 9, X).
+answer(less_than, true) :- lt(3, 9).
+answer(greater_equal, true) :- ge(9, 9).
+materialize(answer, 2).

package/test/eyelang/conformance/cases/extension/003_arithmetic_and_comparison.query ADDED Viewed

	@@ -0,0 +1 @@
1	+ answer(K, V)

package/test/eyelang/conformance/cases/extension/004_strings_and_atoms.pl ADDED Viewed

@@ -0,0 +1,6 @@
+% SPEC 9.6: atom and string built-ins.
+answer(atom_concat, X) :- atom_concat(eye, lang, X).
+answer(str_concat, X) :- str_concat("eye", "lang", X).
+answer(contains, true) :- contains("eyelang", "lang").
+answer(not_contains, true) :- not_contains("eyelang", "cat").
+materialize(answer, 2).

package/test/eyelang/conformance/cases/extension/004_strings_and_atoms.query ADDED Viewed

	@@ -0,0 +1 @@
1	+ answer(K, V)

package/test/eyelang/conformance/cases/extension/005_lists_aggregation_ordering.pl ADDED Viewed

@@ -0,0 +1,10 @@
+% SPEC 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/eyelang/conformance/cases/extension/005_lists_aggregation_ordering.query ADDED Viewed

	@@ -0,0 +1 @@
1	+ answer(K, V)

package/test/eyelang/conformance/cases/extension/006_formula_terms.pl ADDED Viewed

@@ -0,0 +1,5 @@
+% SPEC 9.9: formula_atom/2 and formula_binary/4 over comma formula data.
+formula((name(alice, "Alice"), knows(alice, bob))).
+answer(atom, A) :- formula(F), formula_atom(F, A).
+answer(binary, exposed(S, P, O)) :- formula(F), formula_binary(F, S, P, O).
+materialize(answer, 2).

package/test/eyelang/conformance/cases/extension/006_formula_terms.query ADDED Viewed

	@@ -0,0 +1 @@
1	+ answer(K, V)

package/test/eyelang/conformance/cases/extension/007_negation_once_generators.pl ADDED Viewed

@@ -0,0 +1,7 @@
+% SPEC 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/eyelang/conformance/cases/extension/007_negation_once_generators.query ADDED Viewed

	@@ -0,0 +1 @@
1	+ answer(K, V)

package/test/eyelang/conformance/cases/extension/008_equality_and_inequality.pl ADDED Viewed

@@ -0,0 +1,6 @@
+% SPEC 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/eyelang/conformance/cases/extension/008_equality_and_inequality.query ADDED Viewed

	@@ -0,0 +1 @@
1	+ answer(K, V)

package/test/eyelang/conformance/cases/extension/009_list_relations.pl ADDED Viewed

@@ -0,0 +1,6 @@
+% SPEC 9.7: rest/2, select/3, not_member/2, and is_list/1.
+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]).
+answer(is_list, true) :- is_list([a, b]).
+materialize(answer, 2).

package/test/eyelang/conformance/cases/extension/009_list_relations.query ADDED Viewed

	@@ -0,0 +1 @@
1	+ answer(K, V)

package/test/eyelang/conformance/cases/extension/010_append_splits.pl ADDED Viewed

@@ -0,0 +1,3 @@
+% SPEC 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/eyelang/conformance/cases/extension/010_append_splits.query ADDED Viewed

	@@ -0,0 +1 @@
1	+ answer(K, V)

package/test/eyelang/conformance/cases/extension/011_matching_and_comparison.pl ADDED Viewed

@@ -0,0 +1,7 @@
+% SPEC 9.3, 9.6: lexical comparison and simple text matching.
+answer(matches, true) :- matches("eyelang", "eye").
+answer(not_matches, true) :- not_matches("eyelang", "cat").
+answer(lex_lt, true) :- lt(alpha, beta).
+answer(lex_gt, true) :- gt(beta, alpha).
+answer(numeric_le, true) :- le(2, 2).
+materialize(answer, 2).

package/test/eyelang/conformance/cases/extension/011_matching_and_comparison.query ADDED Viewed

	@@ -0,0 +1 @@
1	+ answer(K, V)

package/test/eyelang/conformance/cases/extension/012_memoize_declaration.pl ADDED Viewed

@@ -0,0 +1,8 @@
+% SPEC 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/eyelang/conformance/cases/extension/012_memoize_declaration.query ADDED Viewed

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

package/test/eyelang/conformance/cases/extension/013_numeric_functions.pl ADDED Viewed

@@ -0,0 +1,9 @@
+% SPEC 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/eyelang/conformance/cases/extension/013_numeric_functions.query ADDED Viewed

	@@ -0,0 +1 @@
1	+ answer(K, V)

package/test/eyelang/conformance/cases/extension/014_between_enumeration.pl ADDED Viewed

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

package/test/eyelang/conformance/cases/extension/014_between_enumeration.query ADDED Viewed

	@@ -0,0 +1 @@
1	+ answer(K, V)

package/test/eyelang/conformance/cases/extension/015_smallest_divisor.pl ADDED Viewed

@@ -0,0 +1,3 @@
+% SPEC 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/eyelang/conformance/cases/extension/015_smallest_divisor.query ADDED Viewed

	@@ -0,0 +1 @@
1	+ answer(K, V)

package/test/eyelang/conformance/cases/extension/016_negation_filter.pl ADDED Viewed

@@ -0,0 +1,7 @@
+% SPEC 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/eyelang/conformance/cases/extension/016_negation_filter.query ADDED Viewed

	@@ -0,0 +1 @@
1	+ answer(K, V)

package/test/eyelang/conformance/cases/extension/017_once_user_predicate.pl ADDED Viewed

@@ -0,0 +1,5 @@
+% SPEC 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/eyelang/conformance/cases/extension/017_once_user_predicate.query ADDED Viewed

	@@ -0,0 +1 @@
1	+ answer(K, V)

package/test/eyelang/conformance/cases/extension/018_findall_user_goal.pl ADDED Viewed

@@ -0,0 +1,6 @@
+% SPEC 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/eyelang/conformance/cases/extension/018_findall_user_goal.query ADDED Viewed

	@@ -0,0 +1 @@
1	+ answer(K, V)

package/test/eyelang/conformance/cases/extension/019_sort_deduplicates_atoms.pl ADDED Viewed

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

package/test/eyelang/conformance/cases/extension/019_sort_deduplicates_atoms.query ADDED Viewed

	@@ -0,0 +1 @@
1	+ answer(K, V)

package/test/eyelang/conformance/cases/extension/020_append_bound_prefix_suffix.pl ADDED Viewed

@@ -0,0 +1,4 @@
+% SPEC 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/eyelang/conformance/cases/extension/020_append_bound_prefix_suffix.query ADDED Viewed

	@@ -0,0 +1 @@
1	+ answer(K, V)

package/test/eyelang/conformance/cases/extension/021_nth0_index_generation.pl ADDED Viewed

@@ -0,0 +1,3 @@
+% SPEC 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/eyelang/conformance/cases/extension/021_nth0_index_generation.query ADDED Viewed

	@@ -0,0 +1 @@
1	+ answer(K, V)

package/test/eyelang/conformance/cases/extension/022_set_nth0_edges.pl ADDED Viewed

@@ -0,0 +1,4 @@
+% SPEC 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/eyelang/conformance/cases/extension/022_set_nth0_edges.query ADDED Viewed

	@@ -0,0 +1 @@
1	+ answer(K, V)

package/test/eyelang/conformance/cases/extension/023_select_duplicate_occurrences.pl ADDED Viewed

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

package/test/eyelang/conformance/cases/extension/023_select_duplicate_occurrences.query ADDED Viewed

	@@ -0,0 +1 @@
1	+ answer(K, V)

package/test/eyelang/conformance/cases/extension/024_not_member_filter.pl ADDED Viewed

@@ -0,0 +1,6 @@
+% SPEC 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/eyelang/conformance/cases/extension/024_not_member_filter.query ADDED Viewed

	@@ -0,0 +1 @@
1	+ answer(K, V)

package/test/eyelang/conformance/cases/extension/025_is_list_filter.pl ADDED Viewed

@@ -0,0 +1,5 @@
+% SPEC 9.7: is_list/1 succeeds only for proper lists.
+thing([a, b]).
+thing(pair(a, b)).
+answer(list, X) :- thing(X), is_list(X).
+materialize(answer, 2).

package/test/eyelang/conformance/cases/extension/025_is_list_filter.query ADDED Viewed

	@@ -0,0 +1 @@
1	+ answer(K, V)

package/test/eyelang/conformance/cases/extension/026_nested_formula_terms.pl ADDED Viewed

@@ -0,0 +1,5 @@
+% SPEC 9.9: formula helpers enumerate nested comma formula members.
+formula(((name(a, "A"), knows(a, b)), likes(b, c))).
+answer(atom, A) :- formula(F), formula_atom(F, A).
+answer(binary, exposed(S, P, O)) :- formula(F), formula_binary(F, S, P, O).
+materialize(answer, 2).

package/test/eyelang/conformance/cases/extension/026_nested_formula_terms.query ADDED Viewed

	@@ -0,0 +1 @@
1	+ answer(K, V)

package/test/eyelang/conformance/cases/extension/027_materialize_excludes_source_fact.pl ADDED Viewed

@@ -0,0 +1,6 @@
+% SPEC 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/eyelang/conformance/cases/extension/028_numeric_and_lexical_comparison.pl ADDED Viewed

@@ -0,0 +1,5 @@
+% SPEC 9.3: comparisons handle numeric and lexical scalar ordering.
+answer(numeric_gt, true) :- gt(10, 2).
+answer(numeric_le, true) :- le(2, 2.0).
+answer(lexical_ge, true) :- ge(beta, alpha).
+materialize(answer, 2).

package/test/eyelang/conformance/cases/extension/028_numeric_and_lexical_comparison.query ADDED Viewed

	@@ -0,0 +1 @@
1	+ answer(K, V)

package/test/eyelang/conformance/cases/extension/029_string_matching_filters.pl ADDED Viewed

@@ -0,0 +1,6 @@
+% SPEC 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/eyelang/conformance/cases/extension/029_string_matching_filters.query ADDED Viewed

	@@ -0,0 +1 @@
1	+ answer(K, V)

package/test/eyelang/conformance/cases/extension/030_string_and_atom_concat.pl ADDED Viewed

@@ -0,0 +1,4 @@
+% SPEC 9.6: atom_concat/3 and str_concat/3 concatenate like-typed scalars.
+answer(atom, X) :- atom_concat(eye, lang, X).
+answer(string, X) :- str_concat("eye", "lang", X).
+materialize(answer, 2).

package/test/eyelang/conformance/cases/extension/030_string_and_atom_concat.query ADDED Viewed

	@@ -0,0 +1 @@
1	+ answer(K, V)

package/test/eyelang/conformance/cases/extension/031_countall_empty_and_nonempty.pl ADDED Viewed

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

package/test/eyelang/conformance/cases/extension/031_countall_empty_and_nonempty.query ADDED Viewed

	@@ -0,0 +1 @@
1	+ (countall(item(X), C), countall(missing(X), Z))

package/test/eyelang/conformance/cases/extension/032_sumall_numeric_template.pl ADDED Viewed

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