seam-lang 2.0.0

package/test/conformance/cases/strings/056_string_and_atom_concat.query

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

package/test/conformance/cases/strings/064_reusable_string_builtins.pl

@@ -0,0 +1,12 @@
+% Reference 9.1: reusable string normalization, splitting, joining, replacement, and conversions.
+materialize(answer, 2).
+answer(trim, X) :- trim("  Hello Seam  ", X).
+answer(lower, X) :- lowercase("Hello Seam", X).
+answer(upper, X) :- uppercase("Hello Seam", 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(seam, X).

package/test/conformance/cases/strings/070_matches_named_captures.pl

@@ -0,0 +1,13 @@
+% 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/strings/071_string_edges.pl

@@ -0,0 +1,10 @@
+% 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("Seam 123", X).

package/test/conformance/cases/strings/072_string_conversions.pl

@@ -0,0 +1,10 @@
+% 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/strings/089_string_split_join_pipeline.pl

@@ -0,0 +1,7 @@
+% Reference 9.6: split/join/trim compose for simple data-cleaning workflows.
+materialize(answer, 2).
+raw("  alpha,beta,gamma  ").
+answer(parts, X) :- raw(R), trim(R, T), split(T, ",", X).
+answer(pipe, X) :- raw(R), trim(R, T), split(T, ",", Parts), join(Parts, "|", X).
+answer(first_upper, X) :- raw(R), trim(R, T), split(T, ",", Parts), head(Parts, H), uppercase(H, X).
+answer(last_lower, X) :- raw(R), trim(R, T), split(T, ",", Parts), last(Parts, L), lowercase(L, X).

package/test/conformance/cases/strings/090_string_substring_replace_edges.pl

@@ -0,0 +1,9 @@
+% Reference 9.6: substring and replace have finite boundary behavior.
+materialize(answer, 2).
+answer(prefix, X) :- substring("seamlet", 0, 3, X).
+answer(middle, X) :- substring("seamlet", 3, 2, X).
+answer(suffix, X) :- substring("seamlet", 2, 3, X).
+answer(empty_at_end, X) :- substring("seamlet", 7, 0, X).
+answer(out_of_range_rejected, ok) :- not(substring("seamlet", 7, 2, X)).
+answer(replace_all, X) :- replace("banana", "na", "NA", X).
+answer(replace_missing, X) :- replace("banana", "x", "y", X).

package/test/conformance/cases/strings/091_string_case_and_trim.pl

@@ -0,0 +1,7 @@
+% Reference 9.6: string case and trim built-ins preserve non-letter characters.
+materialize(answer, 2).
+answer(lower_mixed, X) :- lowercase("Hello WORLD 123!", X).
+answer(upper_mixed, X) :- uppercase("Hello world 123!", X).
+answer(trim_spaces, X) :- trim("  padded  ", X).
+answer(trim_tabs_newline, X) :- trim("\tvalue\n", X).
+answer(trim_empty, X) :- trim("", X).

package/test/conformance/cases/strings/092_scalar_string_conversions.pl

@@ -0,0 +1,9 @@
+% Reference 9.6: number_string/2, atom_string/2, and term_string/2 are portable scalar bridges.
+materialize(answer, 2).
+answer(number_to_string, X) :- number_string(42, X).
+answer(decimal_string_to_number, X) :- number_string(X, "-12.75").
+answer(scientific_string_to_number, X) :- number_string(X, "1e3").
+answer(atom_to_string, X) :- atom_string('hello-world', X).
+answer(string_to_atom_needs_quotes, X) :- atom_string(X, "hello-world").
+answer(term_to_string, X) :- term_string(result([a, b], score(10)), X).
+answer(unbound_term_rejected, ok) :- not(term_string(X, S)).

package/test/conformance/cases/strings/093_regex_named_captures_context.pl

@@ -0,0 +1,8 @@
+% Reference 9.6 and 9.9: matches/3 turns named captures into context terms.
+materialize(answer, 2).
+line("level=warn code=E42 user=bob").
+answer(level, X) :- line(L), matches(L, "level=(?<level>\\w+) code=(?<code>\\w+) user=(?<user>\\w+)", C), holds(C, level(X)).
+answer(code, X) :- line(L), matches(L, "level=(?<level>\\w+) code=(?<code>\\w+) user=(?<user>\\w+)", C), holds(C, code(X)).
+answer(user, X) :- line(L), matches(L, "level=(?<level>\\w+) code=(?<code>\\w+) user=(?<user>\\w+)", C), holds(C, user(X)).
+answer(no_named_groups_rejected, ok) :- not(matches("abc", "a(b)c", C)).
+answer(bad_regex_rejected, ok) :- not(matches("abc", "(", C)).

package/test/conformance/cases/strings/atom_string_from_string.pl

@@ -0,0 +1,2 @@
+materialize(answer, 1).
+answer(Atom) :- atom_string(Atom, "hello_world").

package/test/conformance/cases/strings/casefold_atoms.pl

@@ -0,0 +1,3 @@
+materialize(answer, 2).
+answer(lower, X) :- lowercase("HelloWorld", X).
+answer(upper, X) :- uppercase(helloWorld, X).

package/test/conformance/cases/strings/contains_empty_needle.pl

@@ -0,0 +1,2 @@
+materialize(answer, 1).
+answer(ok) :- contains("abc", "").

package/test/conformance/cases/strings/extra_atom_string_number_input.pl

@@ -0,0 +1,2 @@
+materialize(answer, 2).
+answer(atom_string_number_input, X) :- atom_string(X, 42).

package/test/conformance/cases/strings/extra_join_empty_list.pl

@@ -0,0 +1,2 @@
+materialize(answer, 2).
+answer(join_empty_list, X) :- join([], ",", X).

package/test/conformance/cases/strings/extra_join_iri_and_atom.pl

@@ -0,0 +1,2 @@
+materialize(answer, 2).
+answer(join_iri_and_atom, X) :- join(['<urn:example:a>', path, 7], "/", X).

package/test/conformance/cases/strings/extra_lowercase_iri_atom.pl

@@ -0,0 +1,2 @@
+materialize(answer, 2).
+answer(lowercase_iri_atom, X) :- lowercase('<URN:EXAMPLE:ABC>', X).

package/test/conformance/cases/strings/extra_matches_invalid_pattern_fails.pl

@@ -0,0 +1,2 @@
+materialize(answer, 1).
+answer(matches_invalid_pattern_fails) :- matches("abc", "[").

package/test/conformance/cases/strings/extra_named_regex_optional_missing.pl

@@ -0,0 +1,2 @@
+materialize(answer, 2).
+answer(named_regex_optional_missing, X) :- matches("abc", "(?<first>a)(?<missing>z)?", X).

package/test/conformance/cases/strings/extra_number_string_atom_input.pl

@@ -0,0 +1,2 @@
+materialize(answer, 2).
+answer(number_string_atom_input, X) :- number_string(X, '42').

package/test/conformance/cases/strings/extra_replace_multiple.pl

@@ -0,0 +1,2 @@
+materialize(answer, 2).
+answer(replace_multiple, X) :- replace("banana", "na", "NA", X).

package/test/conformance/cases/strings/extra_split_empty_separator.pl

@@ -0,0 +1,2 @@
+materialize(answer, 2).
+answer(split_empty_separator, X) :- split("ab", "", X).

package/test/conformance/cases/strings/extra_substring_last_char.pl

@@ -0,0 +1,2 @@
+materialize(answer, 2).
+answer(substring_last_char, X) :- substring("abcd", 3, 1, X).

package/test/conformance/cases/strings/extra_term_string_iri_list.pl

@@ -0,0 +1,2 @@
+materialize(answer, 2).
+answer(term_string_iri_list, X) :- term_string(['<urn:example:a>', box("B")], X).

package/test/conformance/cases/strings/extra_uppercase_mixed_string.pl

@@ -0,0 +1,2 @@
+materialize(answer, 2).
+answer(uppercase_mixed_string, X) :- uppercase("aBc-1", X).

package/test/conformance/cases/strings/join_mixed_scalars.pl

@@ -0,0 +1,2 @@
+materialize(answer, 1).
+answer(Text) :- join([a, "b", 3], "-", Text).

package/test/conformance/cases/strings/matches_simple_alternation.pl

@@ -0,0 +1,2 @@
+materialize(answer, 1).
+answer(ok) :- matches("beta", "alpha|beta").

package/test/conformance/cases/strings/named_regex_two_groups.pl

@@ -0,0 +1,2 @@
+materialize(answer, 2).
+answer(First, Last) :- matches("Ada Lovelace", "^(?<first>[A-Za-z]+) (?<last>[A-Za-z]+)$", Ctx), holds(Ctx, first, First), holds(Ctx, last, Last).

package/test/conformance/cases/strings/not_matches_simple_pattern.pl

@@ -0,0 +1,2 @@
+materialize(answer, 1).
+answer(ok) :- not_matches("abc", "x|y").

package/test/conformance/cases/strings/number_string_from_string.pl

@@ -0,0 +1,2 @@
+materialize(answer, 1).
+answer(N) :- number_string(N, "42").

package/test/conformance/cases/strings/number_string_rejects_non_numeric.pl

@@ -0,0 +1,2 @@
+materialize(answer, 1).
+answer(ok) :- not(number_string(N, "four")).

package/test/conformance/cases/strings/replace_empty_search_no_change.pl

@@ -0,0 +1,2 @@
+materialize(answer, 1).
+answer(Text) :- replace("abc", "", "X", Text).

package/test/conformance/cases/strings/split_without_separator_match.pl

@@ -0,0 +1,2 @@
+materialize(answer, 1).
+answer(Parts) :- split("abc", ",", Parts).

package/test/conformance/cases/strings/substring_out_of_range_fails.pl

@@ -0,0 +1,2 @@
+materialize(answer, 1).
+answer(ok) :- not(substring("abc", 2, 5, Text)).

package/test/conformance/cases/strings/substring_zero_count.pl

@@ -0,0 +1,2 @@
+materialize(answer, 1).
+answer(Text) :- substring("abcdef", 2, 0, Text).

package/test/conformance/cases/strings/term_string_nested_term.pl

@@ -0,0 +1,2 @@
+materialize(answer, 1).
+answer(Text) :- term_string(pair('<urn:example:a>', [1, two]), Text).

package/test/conformance/cases/strings/trim_tabs_and_spaces.pl

@@ -0,0 +1,3 @@
+materialize(answer, 1).
+answer(X) :- trim("	 hello 
+", X).

package/test/conformance/cases/syntax/004_conjunction_and_parentheses.pl

@@ -0,0 +1,5 @@
+% Reference 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/conformance/cases/syntax/004_conjunction_and_parentheses.query

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

package/test/conformance/cases/syntax/006_comma_formula_data.pl

@@ -0,0 +1,4 @@
+% Reference 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/conformance/cases/syntax/006_comma_formula_data.query

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

package/test/conformance/cases/syntax/009_comments_and_whitespace.pl

@@ -0,0 +1,5 @@
+% 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/syntax/009_comments_and_whitespace.query

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

package/test/conformance/cases/syntax/019_parenthesized_three_conjuncts.pl

@@ -0,0 +1,7 @@
+% 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/syntax/019_parenthesized_three_conjuncts.query

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

package/test/conformance/cases/syntax/025_body_parentheses_with_formula_data.pl

@@ -0,0 +1,5 @@
+% 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/syntax/comments_inside_program.pl

@@ -0,0 +1,4 @@
+% Leading comment.
+materialize(answer, 1). % trailing comment
+
+answer(ok). % another trailing comment

package/test/conformance/cases/syntax/extra_comments_after_terms.pl

@@ -0,0 +1,3 @@
+% Leading comment
+materialize(answer, 2). % declaration comment
+answer(comments_after_terms, ok). % fact comment

package/test/conformance/cases/syntax/extra_nested_parenthesized_body.pl

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

package/test/conformance/cases/syntax/parenthesized_query_style_body.pl

@@ -0,0 +1,5 @@
+% Parentheses may group a body conjunction without changing meaning.
+materialize(answer, 1).
+a(ok).
+b(ok).
+answer(X) :- (a(X), b(X)).

package/test/conformance/cases/syntax/quoted_atom_with_newline_escape.pl

@@ -0,0 +1,3 @@
+materialize(answer, 1).
+answer('line
+break').

package/test/conformance/cases/syntax/string_with_tab_escape.pl

@@ -0,0 +1,2 @@
+materialize(answer, 1).
+answer("a	b").

package/test/conformance/cases/table/038_table_declaration.pl

@@ -0,0 +1,8 @@
+% Reference 10.1: table/2 is a declaration and does not change answers.
+materialize(reach, 2).
+table(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/table/038_table_declaration.query

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

package/test/conformance/cases/table/102_table_declaration.pl

@@ -0,0 +1,11 @@
+% Reference 11.1: table/2 is the preferred spelling for tabled predicates.
+materialize(reach, 2).
+table(reach_any, 2).
+
+edge(a, b).
+edge(b, c).
+edge(c, d).
+
+reach(X, Y) :- reach_any(X, Y).
+reach_any(X, Y) :- edge(X, Y).
+reach_any(X, Z) :- edge(X, Y), reach_any(Y, Z).

package/test/conformance/cases/table/extra_table_bound_cycle.pl

@@ -0,0 +1,7 @@
+materialize(reach, 2).
+table(path, 2).
+edge(a, b).
+edge(b, a).
+path(X, Y) :- edge(X, Y).
+path(X, Z) :- edge(X, Y), path(Y, Z).
+reach(a, X) :- path(a, X).

package/test/conformance/cases/table/extra_table_open_call_fallback.pl

@@ -0,0 +1,5 @@
+materialize(answer, 2).
+table(edge, 2).
+edge(a, b).
+edge(b, c).
+answer(table_open_call_fallback, pair(X, Y)) :- edge(X, Y).

package/test/conformance/cases/table/table_does_not_change_answers.pl

@@ -0,0 +1,7 @@
+% `table/2` is a search-control declaration and does not change answers.
+materialize(path, 2).
+table(path, 2).
+edge(a, b).
+edge(b, c).
+path(X, Y) :- edge(X, Y).
+path(X, Z) :- edge(X, Y), path(Y, Z).

package/test/conformance/cases/table/tabled_left_recursion_path.pl

@@ -0,0 +1,7 @@
+materialize(answer, 1).
+table(reachable, 2).
+edge(a, b).
+edge(b, c).
+reachable(X, Z) :- reachable(X, Y), edge(Y, Z).
+reachable(X, Y) :- edge(X, Y).
+answer(X) :- reachable(a, X).

package/test/conformance/cases/terms/003_terms_and_readback.pl

@@ -0,0 +1,16 @@
+% Reference 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(arity_zero_atom, 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/conformance/cases/terms/003_terms_and_readback.query

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

package/test/conformance/cases/terms/065_reusable_term_control_builtins.pl

@@ -0,0 +1,11 @@
+% 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/terms/073_term_introspection_edges.pl

@@ -0,0 +1,11 @@
+% 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(decompose_atom_empty_args, pair(Name, Args)) :- compound_name_arguments(z, Name, Args).
+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/terms/095_term_introspection_roundtrip.pl

@@ -0,0 +1,8 @@
+% Reference 9.10: term inspection can decompose and recompose compound terms.
+materialize(answer, 2).
+answer(functor_compound, pair(Name, Arity)) :- functor(edge(a, b), Name, Arity).
+answer(arg_first, X) :- arg(1, edge(a, b), X).
+answer(arg_second, X) :- arg(2, edge(a, b), X).
+answer(decompose, pair(Name, Args)) :- compound_name_arguments(edge(a, b), Name, Args).
+answer(recompose, X) :- compound_name_arguments(X, edge, [a, b]).
+answer(roundtrip, X) :- compound_name_arguments(edge(a, b), Name, Args), compound_name_arguments(X, Name, Args).

package/test/conformance/cases/terms/096_functor_scalar_edges.pl

@@ -0,0 +1,8 @@
+% Reference 9.10: functor/3 reports scalar terms with arity zero.
+materialize(answer, 2).
+answer(atom, pair(Name, Arity)) :- functor(alpha, Name, Arity).
+answer(quoted_atom, pair(Name, Arity)) :- functor('hello-world', Name, Arity).
+answer(string, pair(Name, Arity)) :- functor("text", Name, Arity).
+answer(number, pair(Name, Arity)) :- functor(123, Name, Arity).
+answer(list_functor, pair(Name, Arity)) :- functor([a, b], Name, Arity).
+answer(unbound_rejected, ok) :- not(functor(X, Name, Arity)).

package/test/conformance/cases/terms/arg_first_and_second.pl

@@ -0,0 +1,3 @@
+materialize(answer, 2).
+answer(first, X) :- arg(1, pair(a, b), X).
+answer(second, X) :- arg(2, pair(a, b), X).

package/test/conformance/cases/terms/arg_zero_fails.pl

@@ -0,0 +1,2 @@
+materialize(answer, 1).
+answer(ok) :- not(arg(0, pair(a, b), X)).

package/test/conformance/cases/terms/compound_name_arguments_atom_zero_args.pl

@@ -0,0 +1,3 @@
+% compound_name_arguments/3 observes atoms as name plus empty argument list.
+materialize(answer, 2).
+answer(Name, Args) :- compound_name_arguments(nil, Name, Args).

package/test/conformance/cases/terms/compound_name_arguments_bad_args_fail.pl

@@ -0,0 +1,2 @@
+materialize(answer, 1).
+answer(ok) :- not(compound_name_arguments(X, pair, [a | b])).

package/test/conformance/cases/terms/compound_name_arguments_builds_atom_from_empty_args.pl

@@ -0,0 +1,3 @@
+% Building a term with an empty argument list yields an atom, not nil().
+materialize(answer, 1).
+answer(Term) :- compound_name_arguments(Term, nil, []).

package/test/conformance/cases/terms/compound_name_arguments_builds_compound.pl

@@ -0,0 +1,2 @@
+materialize(answer, 1).
+answer(X) :- compound_name_arguments(X, pair, [a, b]).

package/test/conformance/cases/terms/compound_name_arguments_iri_name.pl

@@ -0,0 +1,2 @@
+materialize(answer, 2).
+answer(Name, Args) :- compound_name_arguments('<urn:example:a>', Name, Args).

package/test/conformance/cases/terms/extra_arg_atom_fails.pl

@@ -0,0 +1,2 @@
+materialize(answer, 1).
+answer(arg_atom_fails) :- arg(1, atom, _).

package/test/conformance/cases/terms/extra_arg_first_last.pl

@@ -0,0 +1,2 @@
+materialize(answer, 3).
+answer(arg_first_last, First, Last) :- arg(1, triple(a, b, c), First), arg(3, triple(a, b, c), Last).

package/test/conformance/cases/terms/extra_arg_zero_fails.pl

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

package/test/conformance/cases/terms/extra_compound_name_arguments_bad_args_fails.pl

@@ -0,0 +1,2 @@
+materialize(answer, 1).
+answer(compound_name_arguments_bad_args_fails) :- compound_name_arguments(_, pair, not_a_list).

package/test/conformance/cases/terms/extra_compound_name_arguments_construct_atom_zero.pl

@@ -0,0 +1,2 @@
+materialize(answer, 2).
+answer(compound_name_arguments_construct_atom_zero, X) :- compound_name_arguments(X, nil, []).

package/test/conformance/cases/terms/extra_compound_name_arguments_construct_iri.pl

@@ -0,0 +1,2 @@
+materialize(answer, 2).
+answer(compound_name_arguments_construct_iri, X) :- compound_name_arguments(X, '<urn:example:pair>', [a, b]).

package/test/conformance/cases/terms/extra_compound_name_arguments_decompose_list.pl

@@ -0,0 +1,2 @@
+materialize(answer, 3).
+answer(compound_name_arguments_decompose_list, Name, Args) :- compound_name_arguments([a | b], Name, Args).

package/test/conformance/cases/terms/extra_functor_list_cons.pl

@@ -0,0 +1,2 @@
+materialize(answer, 3).
+answer(functor_list_cons, Name, Arity) :- functor([a, b], Name, Arity).

package/test/conformance/cases/terms/extra_functor_number_scalar.pl

@@ -0,0 +1,2 @@
+materialize(answer, 3).
+answer(functor_number_scalar, Name, Arity) :- functor(123, Name, Arity).

package/test/conformance/cases/terms/extra_functor_string_scalar.pl

@@ -0,0 +1,2 @@
+materialize(answer, 3).
+answer(functor_string_scalar, Name, Arity) :- functor("hello", Name, Arity).

package/test/conformance/cases/terms/functor_atom_arity_zero.pl

@@ -0,0 +1,3 @@
+% Atoms are zero-arity terms for functor/3.
+materialize(answer, 2).
+answer(Name, Arity) :- functor(nil, Name, Arity).

package/test/conformance/cases/terms/functor_number_and_string.pl

@@ -0,0 +1,3 @@
+materialize(answer, 3).
+answer(number, Name, Arity) :- functor(42, Name, Arity).
+answer(string, Name, Arity) :- functor("hi", Name, Arity).

package/test/conformance/cases/terms/herbrand_witness_different_inputs_distinct.pl

@@ -0,0 +1,2 @@
+materialize(answer, 1).
+answer(true) :- neq(registration_of(alice, logic), registration_of(alice, math)).

package/test/conformance/cases/terms/herbrand_witness_one_input.pl

@@ -0,0 +1,5 @@
+% Existential-style consequence with one universal variable represented as a Herbrand term.
+materialize(answer, 2).
+person(alice).
+person(bob).
+answer(Child, parent_of(Child)) :- person(Child).

package/test/conformance/cases/terms/herbrand_witness_same_inputs_same_term.pl

@@ -0,0 +1,2 @@
+materialize(answer, 1).
+answer(true) :- eq(parent_of(alice), parent_of(alice)).

package/test/conformance/cases/terms/herbrand_witness_two_inputs.pl

@@ -0,0 +1,5 @@
+% Existential-style consequence with two universal variables represented as a Herbrand term.
+materialize(answer, 3).
+takes(alice, logic).
+takes(alice, math).
+answer(Student, Course, registration_of(Student, Course)) :- takes(Student, Course).

package/test/conformance/cases/terms/term_string_readback_iri_list.pl

@@ -0,0 +1,2 @@
+materialize(answer, 1).
+answer(Text) :- term_string(['<urn:example:a>', '<urn:example:b>'], Text).

package/test/conformance/cases/unification/012_nested_compound_unification.pl

@@ -0,0 +1,5 @@
+% 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/unification/012_nested_compound_unification.query

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

package/test/conformance/cases/unification/021_repeated_variable_head.pl

@@ -0,0 +1,7 @@
+% 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/unification/034_equality_and_inequality.pl

@@ -0,0 +1,6 @@
+% 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/unification/034_equality_and_inequality.query

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

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

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

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

@@ -0,0 +1,2 @@
+materialize(answer, 1).
+answer(eq_iri_and_quoted_atom) :- eq('<urn:example:a>', 'urn:example:a').

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

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

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

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

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

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

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

@@ -0,0 +1,2 @@
+materialize(answer, 1).
+answer(eq_scalar_number_atom) :- eq(7, '7').