seam-lang 2.0.0

package/test/conformance/cases/unification/extra_eq_scalar_string_number.pl

@@ -0,0 +1,2 @@
+materialize(answer, 1).
+answer(eq_scalar_string_number) :- eq("7", 7).

package/test/conformance/cases/unification/extra_neq_compound_arity_mismatch.pl

@@ -0,0 +1,2 @@
+materialize(answer, 1).
+answer(neq_compound_arity_mismatch) :- neq(f(a), f(a, b)).

package/test/conformance/cases/unification/extra_neq_scalar_same_lexical_fails.pl

@@ -0,0 +1,2 @@
+materialize(answer, 1).
+answer(neq_scalar_same_lexical_fails) :- neq("7", 7).

package/test/conformance/cases/unification/extra_variable_clause_locality.pl

@@ -0,0 +1,4 @@
+materialize(answer, 2).
+answer(variable_clause_locality, X) :- one(X).
+one(a).
+one(b).

package/test/conformance/cases/unification/list_tail_binding.pl

@@ -0,0 +1,2 @@
+materialize(answer, 1).
+answer(Tail) :- eq([a, b, c], [a | Tail]).

package/test/conformance/cases/unification/nested_repeated_variable.pl

@@ -0,0 +1,2 @@
+materialize(answer, 1).
+answer(X) :- eq(pair(X, box(X)), pair(a, box(a))).

package/test/conformance/cases/unification/scalar_cross_type_same_lexical_value.pl

@@ -0,0 +1,3 @@
+materialize(answer, 1).
+answer(atom_number) :- eq(a, "a").
+answer(number_string) :- eq(7, "7").

package/test/conformance/cases/variables/007_anonymous_variables.pl

@@ -0,0 +1,5 @@
+% Reference 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/conformance/cases/variables/007_anonymous_variables.query

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

package/test/conformance/cases/variables/010_variable_scope_and_reuse.pl

@@ -0,0 +1,8 @@
+% 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/variables/010_variable_scope_and_reuse.query

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

package/test/conformance/cases/variables/026_question_underscore_named_variable_reuse.pl

@@ -0,0 +1,5 @@
+% Reference 3.4, 5.1: `_name` variables are named variables; only exactly `_` is anonymous.
+pair(a, a).
+pair(a, b).
+answer(shared, _value) :- pair(_value, _value).
+materialize(answer, 2).

package/test/conformance/cases/variables/101_question_mark_variables.pl

@@ -0,0 +1,7 @@
+% Uppercase variables are ordinary ISO Prolog-style variables.
+materialize(answer, 2).
+edge(a, b).
+edge(b, c).
+path(X, Y) :- edge(X, Y).
+path(X, Z) :- edge(X, Y), path(Y, Z).
+answer(X, Y) :- path(X, Y).

package/test/conformance/cases/variables/anonymous_in_two_goals.pl

@@ -0,0 +1,4 @@
+% Each `_` occurrence is fresh, so these two goals do not have to agree.
+materialize(answer, 1).
+pair(a, b).
+answer(ok) :- pair(_, _).

package/test/conformance/cases/variables/clause_local_variable_names.pl

@@ -0,0 +1,5 @@
+materialize(answer, 1).
+helper(a).
+helper(b).
+answer(X) :- helper(X).
+answer(X) :- helper(X), eq(X, c).

package/test/conformance/cases/variables/extra_anonymous_not_reused.pl

@@ -0,0 +1,2 @@
+materialize(answer, 1).
+answer(anonymous_not_reused) :- eq(pair(_, _), pair(a, b)).

package/test/conformance/cases/variables/extra_named_variable_reused.pl

@@ -0,0 +1,2 @@
+materialize(answer, 1).
+answer(named_variable_reused) :- eq(pair(X, X), pair(a, a)).

package/test/conformance/cases/variables/extra_question_underscore_named_distinct.pl

@@ -0,0 +1,2 @@
+materialize(answer, 3).
+answer(question_underscore_named_distinct, _x, _y) :- eq(_x, a), eq(_y, b).

package/test/conformance/cases/variables/extra_question_uppercase_named.pl

@@ -0,0 +1,2 @@
+materialize(answer, 2).
+answer(question_uppercase_named, X) :- eq(X, ok).

package/test/conformance/cases/variables/question_anonymous_not_reused.pl

@@ -0,0 +1,6 @@
+% Each `_` occurrence is anonymous and independent.
+materialize(answer, 1).
+pair(a, b).
+pair(c, d).
+answer(left(X)) :- pair(X, _).
+answer(right(Y)) :- pair(_, Y).

package/test/conformance/cases/variables/question_underscore_named_reuse.pl

@@ -0,0 +1,5 @@
+% `_name` is a named variable and must be reused within a clause.
+materialize(answer, 1).
+pair(a, a).
+pair(a, b).
+answer(_value) :- pair(_value, _value).

package/test/conformance/cases/variables/question_uppercase_variable.pl

@@ -0,0 +1,4 @@
+% Uppercase letters or underscores mark variables.
+materialize(answer, 1).
+item(ok).
+answer(X) :- item(X).

package/test/conformance/cases/variables/question_variable_digits_and_underscore.pl

@@ -0,0 +1,2 @@
+materialize(answer, 1).
+answer(X_1) :- eq(X_1, ok).

package/test/conformance/cases/variables/question_variable_uppercase_name.pl

@@ -0,0 +1,2 @@
+materialize(answer, 1).
+answer(X) :- eq(X, ok).

package/test/conformance/cases/variables/variable_scope_per_clause.pl

@@ -0,0 +1,6 @@
+% Reusing a variable name in separate clauses does not connect the clauses.
+materialize(answer, 1).
+left(a).
+right(b).
+answer(X) :- left(X).
+answer(X) :- right(X).

package/test/conformance/errors/atoms/extra_angle_iri_backslash_rejected.pl

@@ -0,0 +1 @@
+p(<urn:example:\bad>).

package/test/conformance/errors/atoms/extra_angle_iri_pipe_rejected.pl

@@ -0,0 +1 @@
+p(<urn:example:|bad>).

package/test/conformance/errors/atoms/extra_angle_iri_quote_rejected.pl

@@ -0,0 +1 @@
+p(<urn:example:"bad">).

package/test/conformance/errors/atoms/hash_comment_not_atom_at_line_start.pl

@@ -0,0 +1 @@
+#bad(ok).

package/test/conformance/errors/atoms/relative_angle_name_rejected.pl

@@ -0,0 +1 @@
+answer(<relative>).

package/test/conformance/errors/atoms/space_in_angle_iri_rejected.pl

@@ -0,0 +1 @@
+answer(<urn:example:a b>).

package/test/conformance/errors/atoms/unclosed_angle_iri_rejected.pl

@@ -0,0 +1 @@
+answer(<urn:example:open).

package/test/conformance/errors/atoms/zero_arity_compound_rejected.pl

@@ -0,0 +1 @@
+p(nil()).

package/test/conformance/errors/lists/extra_missing_tail_after_bar.pl

@@ -0,0 +1 @@
+p([a | ]).

package/test/conformance/errors/lists/extra_unclosed_list_tail.pl

@@ -0,0 +1 @@
+p([a | b).

package/test/conformance/errors/lists/missing_list_tail.pl

@@ -0,0 +1 @@
+answer([a | ]).

package/test/conformance/errors/rules/extra_empty_head_with_body.pl

@@ -0,0 +1 @@
+() :- q(a).

package/test/conformance/errors/rules/extra_rule_without_body.pl

@@ -0,0 +1 @@
+p(a) :-.

package/test/conformance/errors/rules/rule_head_cannot_be_empty_parentheses.pl

@@ -0,0 +1 @@
+() :- seed(ok).

package/test/conformance/errors/syntax/angle_iri_with_space_rejected.pl

@@ -0,0 +1 @@
+answer(<urn:example:a b>).

package/test/conformance/errors/syntax/bad_question_digit_variable.pl

@@ -0,0 +1 @@
+answer(?1).

package/test/conformance/errors/syntax/bad_question_variable.pl

@@ -0,0 +1 @@
+answer(?x).

package/test/conformance/errors/syntax/colon_name_rejected.pl

@@ -0,0 +1 @@
+ex:alice.

package/test/conformance/errors/syntax/empty_body_after_rule_marker.pl

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

package/test/conformance/errors/syntax/empty_compound_nested.pl

@@ -0,0 +1 @@
+answer(pair(nil())).

package/test/conformance/errors/syntax/extra_bad_backtick_character.pl

@@ -0,0 +1 @@
+p(`bad`).

package/test/conformance/errors/syntax/extra_bad_iri_empty_body.pl

@@ -0,0 +1 @@
+p(<urn:example:bad{}>).

package/test/conformance/errors/syntax/extra_bad_list_double_comma.pl

@@ -0,0 +1 @@
+p([a,,b]).

package/test/conformance/errors/syntax/extra_bad_list_double_tail.pl

@@ -0,0 +1 @@
+p([a | b | c]).

package/test/conformance/errors/syntax/extra_bad_number_two_decimal_points.pl

@@ -0,0 +1 @@
+p(1.2.3).

package/test/conformance/errors/syntax/extra_double_period_rejected.pl

@@ -0,0 +1 @@
+p(a)..

package/test/conformance/errors/syntax/extra_extra_closing_paren.pl

@@ -0,0 +1 @@
+p(a)).

package/test/conformance/errors/syntax/extra_missing_closing_rule_body.pl

@@ -0,0 +1 @@
+p(a) :- (q(a), r(a).

package/test/conformance/errors/syntax/extra_missing_head_rejected.pl

@@ -0,0 +1 @@
+:- q(a).

package/test/conformance/errors/syntax/missing_final_dot_rejected.pl

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

package/test/conformance/errors/syntax/missing_period.pl

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

package/test/conformance/errors/syntax/relative_angle_iri_rejected.pl

@@ -0,0 +1 @@
+answer(<relative>).

package/test/conformance/errors/syntax/trailing_comma_in_body.pl

@@ -0,0 +1 @@
+answer(ok) :- seed(ok), .

package/test/conformance/errors/syntax/unclosed_compound.pl

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

package/test/conformance/errors/syntax/unclosed_list.pl

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

package/test/conformance/errors/syntax/unclosed_list_rejected.pl

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

package/test/conformance/errors/syntax/unclosed_quoted_atom.pl

@@ -0,0 +1 @@
+answer('abc).

package/test/conformance/errors/syntax/unclosed_quoted_atom_rejected.pl

@@ -0,0 +1 @@
+p('unterminated).

package/test/conformance/errors/syntax/unclosed_string.pl

@@ -0,0 +1 @@
+answer("abc).

package/test/conformance/errors/syntax/unquoted_colon_predicate.pl

@@ -0,0 +1 @@
+ex:answer(ok).

package/test/conformance/errors/syntax/unquoted_dotted_predicate.pl

@@ -0,0 +1 @@
+answer(ex.example).

package/test/conformance/errors/syntax/uppercase_predicate_rejected.pl

@@ -0,0 +1 @@
+Answer(ok).

package/test/conformance/errors/terms/extra_empty_nested_compound.pl

@@ -0,0 +1 @@
+p(f()).

package/test/conformance/errors/terms/extra_empty_top_level_compound.pl

@@ -0,0 +1 @@
+p().

package/test/conformance/errors/terms/zero_arity_compound_nested_rejected.pl

@@ -0,0 +1 @@
+answer(f(nil())).

package/test/conformance/errors/variables/bare_underscore_in_list_rejected.pl

@@ -0,0 +1 @@
+answer([?]).

package/test/conformance/errors/variables/bare_underscore_name_in_compound_rejected.pl

@@ -0,0 +1 @@
+answer(pair(?value)).

package/test/conformance/errors/variables/bare_underscore_rejected.pl

@@ -0,0 +1 @@
+p(?).

package/test/conformance/errors/variables/extra_bare_underscore_in_rule_head.pl

@@ -0,0 +1 @@
+p(?x).

package/test/conformance/errors/variables/extra_question_dash_variable.pl

@@ -0,0 +1 @@
+p(X-y).

package/test/conformance/errors/variables/extra_uppercase_in_list.pl

@@ -0,0 +1 @@
+p([?x]).

package/test/conformance/errors/variables/question_digit_rejected.pl

@@ -0,0 +1 @@
+answer(?1).

package/test/conformance/errors/variables/question_dot_rejected.pl

@@ -0,0 +1 @@
+answer(_.).

package/test/conformance/errors/variables/underscore_named_rejected.pl

@@ -0,0 +1 @@
+p(?_name).

package/test/conformance/errors/variables/uppercase_in_body_rejected.pl

@@ -0,0 +1 @@
+answer(ok) :- seed(?x).

package/test/conformance/errors/variables/uppercase_variable_rejected.pl

@@ -0,0 +1 @@
+p(?x).

package/test/conformance/expected/aggregation/044_findall_user_goal.pl

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

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

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

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

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

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

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

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

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

package/test/conformance/expected/aggregation/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/conformance/expected/aggregation/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/conformance/expected/aggregation/aggregate_max_no_answers_fails.pl

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

package/test/conformance/expected/aggregation/aggregate_min_structured_key.pl

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

package/test/conformance/expected/aggregation/countall_zero.pl

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

package/test/conformance/expected/aggregation/extra_aggregate_max_iri_key.pl

@@ -0,0 +1 @@
+answer(aggregate_max_iri_key, '<urn:example:z>', high).

package/test/conformance/expected/aggregation/extra_aggregate_min_tie_first.pl

@@ -0,0 +1 @@
+answer(aggregate_min_tie_first, 1, keep).

package/test/conformance/expected/aggregation/extra_countall_with_filter.pl

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

package/test/conformance/expected/aggregation/extra_findall_repeated_template.pl

@@ -0,0 +1 @@
+answer(findall_repeated_template, [pair(a, a), pair(b, b)]).

package/test/conformance/expected/aggregation/extra_sumall_float_template.pl

@@ -0,0 +1 @@
+answer(sumall_float_template, 3.75).

package/test/conformance/expected/aggregation/findall_empty_bag.pl

@@ -0,0 +1 @@
+answer([]).

package/test/conformance/expected/aggregation/sumall_empty_zero.pl

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

package/test/conformance/expected/arithmetic/024_numeric_literal_readback.pl

@@ -0,0 +1,3 @@
+answer(negative_decimal, -3.5).
+answer(positive_exp, 6.02e23).
+answer(negative_exp, -1.0e-3).

package/test/conformance/expected/arithmetic/029_arithmetic_and_comparison.pl

@@ -0,0 +1,9 @@
+answer(sum, 5).
+answer(diff, 3).
+answer(product, 42).
+answer(integer_division, 3).
+answer(remainder, 1).
+answer(power, 256).
+answer(minimum, 3).
+answer(less_than, true).
+answer(greater_equal, true).

package/test/conformance/expected/arithmetic/039_numeric_functions.pl

@@ -0,0 +1,7 @@
+answer(neg, -5).
+answer(abs, 5).
+answer(rounded, 3).
+answer(sin_zero, 0.0).
+answer(cos_zero, 1.0).
+answer(log_one, 0.0).
+answer(float_division, 3.5).

package/test/conformance/expected/arithmetic/040_between_enumeration.pl

@@ -0,0 +1,3 @@
+answer(n, 3).
+answer(n, 4).
+answer(n, 5).

package/test/conformance/expected/arithmetic/041_smallest_divisor.pl

@@ -0,0 +1 @@
+answer(divisor, 3).

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

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

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

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

package/test/conformance/expected/arithmetic/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/conformance/expected/arithmetic/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/conformance/expected/arithmetic/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/conformance/expected/arithmetic/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/conformance/expected/arithmetic/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/conformance/expected/arithmetic/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/conformance/expected/arithmetic/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/conformance/expected/arithmetic/between_bound_value.pl

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

package/test/conformance/expected/arithmetic/between_singleton.pl

@@ -0,0 +1 @@
+answer(4).

package/test/conformance/expected/arithmetic/duration_comparison.pl

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

package/test/conformance/expected/arithmetic/extra_acos_one.pl

@@ -0,0 +1 @@
+answer(acos_one, 0.0).

package/test/conformance/expected/arithmetic/extra_asin_zero.pl

@@ -0,0 +1 @@
+answer(asin_zero, 0.0).

package/test/conformance/expected/arithmetic/extra_atan2_axis.pl

@@ -0,0 +1 @@
+answer(atan2_axis, 0.0).

package/test/conformance/expected/arithmetic/extra_difference_leap_day.pl

@@ -0,0 +1 @@
+answer(difference_leap_day, "P2D").

package/test/conformance/expected/arithmetic/extra_difference_same_day.pl

@@ -0,0 +1 @@
+answer(difference_same_day, "P0D").

package/test/conformance/expected/arithmetic/extra_div_float_exact.pl

@@ -0,0 +1 @@
+answer(div_float_exact, 3.0).

package/test/conformance/expected/arithmetic/extra_div_integer_trunc.pl

@@ -0,0 +1 @@
+answer(div_integer_trunc, 3).

package/test/conformance/expected/arithmetic/extra_exp_zero.pl

@@ -0,0 +1 @@
+answer(exp_zero, 1.0).

package/test/conformance/expected/arithmetic/extra_ge_equal_duration.pl

@@ -0,0 +1 @@
+answer(ge_equal_duration).

package/test/conformance/expected/arithmetic/extra_le_equal_string.pl

@@ -0,0 +1 @@
+answer(le_equal_string).

package/test/conformance/expected/arithmetic/extra_log_one.pl

@@ -0,0 +1 @@
+answer(log_one, 0.0).

package/test/conformance/expected/arithmetic/extra_mod_negative_right.pl

@@ -0,0 +1 @@
+answer(mod_negative_right, 1).

package/test/conformance/expected/arithmetic/extra_pow_large_integer.pl

@@ -0,0 +1 @@
+answer(pow_large_integer, 1024).

package/test/conformance/expected/arithmetic/float_add_and_div.pl

@@ -0,0 +1,2 @@
+answer(add, 3.75).
+answer(div, 3).

package/test/conformance/expected/arithmetic/min_max_mixed.pl

@@ -0,0 +1,2 @@
+answer(min, 2.5).
+answer(max, 3.0).

package/test/conformance/expected/arithmetic/mod_negative_left.pl

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

package/test/conformance/expected/arithmetic/neg_abs_integer.pl

@@ -0,0 +1,2 @@
+answer(neg, -7).
+answer(abs, 7).

package/test/conformance/expected/arithmetic/pow_negative_exponent_fails.pl

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

package/test/conformance/expected/arithmetic/pow_zero_exponent.pl

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

package/test/conformance/expected/arithmetic/rounding_negative_float.pl

@@ -0,0 +1,4 @@
+answer(floor, -2).
+answer(ceiling, -1).
+answer(trunc, -1).
+answer(rounded, -1).