eyeprolog 0.5.3

package/test/conformance/cases/rules/077_recursive_path_with_lists.pl

@@ -0,0 +1,11 @@
+% Reference 5.4, 7.3, 9.7: recursive path construction can carry list evidence.
+%% goal: answer(X0, X1)
+
+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/rules/078_mutual_recursion_with_arithmetic.pl

@@ -0,0 +1,8 @@
+% Reference 7.3, 9.2, 9.5: finite arithmetic recursion works with generated ranges.
+%% goal: answer(X0, X1)
+
+even(0).
+even(N) :- (N > 0), (M is N - 1), odd(M).
+odd(N) :- (N > 0), (M is N - 1), even(M).
+answer(even, N) :- between(0, 6, N), even(N).
+answer(odd, N) :- between(0, 6, N), odd(N).

package/test/conformance/cases/rules/atom_predicates.pl

@@ -0,0 +1,8 @@
+% ISO-style atoms are callable predicates of arity zero.
+%% goal: derived_ready
+
+%% goal: source_ready
+
+
+source_ready.
+derived_ready :- source_ready.

package/test/conformance/cases/rules/extra_left_to_right_multiple_bindings.pl

@@ -0,0 +1,6 @@
+%% goal: answer(X0, X1, X2)
+
+left(a).
+right(a, one).
+right(a, two).
+answer(left_to_right_multiple_bindings, X, Y) :- left(X), right(X, Y).

package/test/conformance/cases/rules/extra_structured_head_rule.pl

@@ -0,0 +1,4 @@
+%% goal: answer(X0, X1)
+
+pair_key(pair(a, b)).
+answer(structured_head_rule, X) :- pair_key(pair(X, b)).

package/test/conformance/cases/rules/left_to_right_body_binding.pl

@@ -0,0 +1,5 @@
+%% goal: answer(X0, X1)
+
+parent(alice, bob).
+parent(bob, clara).
+answer(X, Z) :- parent(X, Y), parent(Y, Z).

package/test/conformance/cases/rules/transitive_rule_three_edges.pl

@@ -0,0 +1,7 @@
+%% goal: path(X0, X1)
+
+edge(a, b).
+edge(b, c).
+edge(c, d).
+path(X, Y) :- edge(X, Y).
+path(X, Z) :- edge(X, Y), path(Y, Z).

package/test/conformance/cases/strings/023_quoted_escapes_readback.pl

@@ -0,0 +1,6 @@
+% 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).
+%% goal: answer(X0, X1)
+

package/test/conformance/cases/strings/030_strings_and_atoms.pl

@@ -0,0 +1,5 @@
+% Reference 9.6: atom and string built-ins.
+answer(string_concat, X) :- string_concat("eye", "prolog", X).
+answer(contains, true) :- contains("eyeprolog", "eye").
+%% goal: answer(X0, X1)
+

package/test/conformance/cases/strings/055_string_matching_filters.pl

@@ -0,0 +1,7 @@
+% 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), \+ matches(T, "ph").
+%% goal: answer(X0, X1)
+

package/test/conformance/cases/strings/056_string_concat_modes.pl

@@ -0,0 +1,9 @@
+% SWI-style string_concat/3 concatenates, checks, and splits text.
+answer(concat, X) :- string_concat("eye", "prolog", X).
+answer(check, true) :- string_concat("eye", "prolog", "eyeprolog").
+answer(prefix, X) :- string_concat(X, "prolog", "eyeprolog").
+answer(suffix, X) :- string_concat("eye", X, "eyeprolog").
+answer(split, Left, Right) :- string_concat(Left, Right, "eye").
+answer(atom_inputs, X) :- string_concat(eye, prolog, X).
+%% goal: answer(X0, X1)
+%% goal: answer(X0, X1, X2)

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

@@ -0,0 +1,13 @@
+% Reference 9.1: reusable string normalization, splitting, joining, replacement, and conversions.
+%% goal: answer(X0, X1)
+
+answer(trim, X) :- trim("  Hello EyeProlog  ", X).
+answer(lower, X) :- lowercase("Hello EyeProlog", X).
+answer(upper, X) :- uppercase("Hello EyeProlog", 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(eyeprolog, X).

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

@@ -0,0 +1,18 @@
+% Reference 9.6: matches/3 extracts named regular-expression captures into a context.
+%% goal: answer(X0, X1, X2)
+
+
+line("event=login_failed user=alice trace=4bf92f3577b34da6a3ce929d0e0e4736").
+pattern("^event=(?<event>\\w+) user=(?<user>\\w+) trace=(?<trace_id>[0-9a-f]{32})$").
+
+context_member((Left, _right), Member) :- context_member(Left, Member).
+context_member((_left, Right), Member) :- context_member(Right, Member).
+context_member(Member, Member) :- Member \= (_left, _right).
+
+answer(User, Event, Traceid) :-
+  line(Text),
+  pattern(Pattern),
+  matches(Text, Pattern, Context),
+  context_member(Context, event(Event)),
+  context_member(Context, user(User)),
+  context_member(Context, trace_id(Traceid)).

package/test/conformance/cases/strings/071_string_edges.pl

@@ -0,0 +1,11 @@
+% Reference 9.1: reusable string built-ins cover empty results and scalar list items.
+%% goal: answer(X0, X1)
+
+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("EyeProlog 123", X).

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

@@ -0,0 +1,11 @@
+% Reference 9.1: string/atom/number conversions are deterministic in documented modes.
+%% goal: answer(X0, X1)
+
+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) :- \+ 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,8 @@
+% Reference 9.6: split/join/trim compose for simple data-cleaning workflows.
+%% goal: answer(X0, X1)
+
+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, ",", [H|_tail]), 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,10 @@
+% Reference 9.6: substring and replace have finite boundary behavior.
+%% goal: answer(X0, X1)
+
+answer(prefix, X) :- substring("eyeprologlanglet", 0, 9, X).
+answer(middle, X) :- substring("eyeprologlanglet", 9, 2, X).
+answer(suffix, X) :- substring("eyeprologlanglet", 8, 3, X).
+answer(empty_at_end, X) :- substring("eyeprologlanglet", 16, 0, X).
+answer(out_of_range_rejected, ok) :- \+ substring("eyeprologlanglet", 16, 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,8 @@
+% Reference 9.6: string case and trim built-ins preserve non-letter characters.
+%% goal: answer(X0, X1)
+
+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,10 @@
+% Reference 9.6: number_string/2, atom_string/2, and term_string/2 are portable scalar bridges.
+%% goal: answer(X0, X1)
+
+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) :- \+ term_string(X, S).

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

@@ -0,0 +1,12 @@
+% Reference 9.6 and 9.9: matches/3 turns named captures into context terms.
+%% goal: answer(X0, X1)
+
+line("level=warn code=E42 user=bob").
+context_member((Left, _right), Member) :- context_member(Left, Member).
+context_member((_left, Right), Member) :- context_member(Right, Member).
+context_member(Member, Member) :- Member \= (_left, _right).
+answer(level, X) :- line(L), matches(L, "level=(?<level>\\w+) code=(?<code>\\w+) user=(?<user>\\w+)", C), context_member(C, level(X)).
+answer(code, X) :- line(L), matches(L, "level=(?<level>\\w+) code=(?<code>\\w+) user=(?<user>\\w+)", C), context_member(C, code(X)).
+answer(user, X) :- line(L), matches(L, "level=(?<level>\\w+) code=(?<code>\\w+) user=(?<user>\\w+)", C), context_member(C, user(X)).
+answer(no_named_groups_rejected, ok) :- \+ matches("abc", "a(b)c", C).
+answer(bad_regex_rejected, ok) :- \+ matches("abc", "(", C).

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

@@ -0,0 +1,3 @@
+%% goal: answer(X0)
+
+answer(Atom) :- atom_string(Atom, "hello_world").

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

@@ -0,0 +1,4 @@
+%% goal: answer(X0, X1)
+
+answer(lower, X) :- lowercase("HelloWorld", X).
+answer(upper, X) :- uppercase(helloWorld, X).

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

@@ -0,0 +1,3 @@
+%% goal: answer(X0)
+
+answer(ok) :- contains("abc", "").

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

@@ -0,0 +1,3 @@
+%% goal: answer(X0, X1)
+
+answer(atom_string_number_input, X) :- atom_string(X, 42).

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

@@ -0,0 +1,3 @@
+%% goal: answer(X0, X1)
+
+answer(join_empty_list, X) :- join([], ",", X).

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

@@ -0,0 +1,3 @@
+%% goal: answer(X0, X1)
+
+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,3 @@
+%% goal: answer(X0, X1)
+
+answer(lowercase_iri_atom, X) :- lowercase('<URN:EXAMPLE:ABC>', X).

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

@@ -0,0 +1,3 @@
+%% goal: answer(X0)
+
+answer(matches_invalid_pattern_fails) :- matches("abc", "[").

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

@@ -0,0 +1,3 @@
+%% goal: answer(X0, X1)
+
+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,3 @@
+%% goal: answer(X0, X1)
+
+answer(number_string_atom_input, X) :- number_string(X, '42').

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

@@ -0,0 +1,3 @@
+%% goal: answer(X0, X1)
+
+answer(replace_multiple, X) :- replace("banana", "na", "NA", X).

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

@@ -0,0 +1,3 @@
+%% goal: answer(X0, X1)
+
+answer(split_empty_separator, X) :- split("ab", "", X).

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

@@ -0,0 +1,3 @@
+%% goal: answer(X0, X1)
+
+answer(substring_last_char, X) :- substring("abcd", 3, 1, X).

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

@@ -0,0 +1,3 @@
+%% goal: answer(X0, X1)
+
+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,3 @@
+%% goal: answer(X0, X1)
+
+answer(uppercase_mixed_string, X) :- uppercase("aBc-1", X).

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

@@ -0,0 +1,3 @@
+%% goal: answer(X0)
+
+answer(Text) :- join([a, "b", 3], "-", Text).

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

@@ -0,0 +1,3 @@
+%% goal: answer(X0)
+
+answer(ok) :- matches("beta", "alpha|beta").

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

@@ -0,0 +1,7 @@
+%% goal: answer(X0, X1)
+
+context_member((Left, _right), Member) :- context_member(Left, Member).
+context_member((_left, Right), Member) :- context_member(Right, Member).
+context_member(Member, Member) :- Member \= (_left, _right).
+context_parts(Context, Name, Args) :- context_member(Context, Statement), (Statement =.. [Name | Args]), atom(Name).
+answer(First, Last) :- matches("Ada Lovelace", "^(?<first>[A-Za-z]+) (?<last>[A-Za-z]+)$", Ctx), context_parts(Ctx, first, First), context_parts(Ctx, last, Last).

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

@@ -0,0 +1,3 @@
+%% goal: answer(X0)
+
+answer(ok) :- \+ matches("abc", "x|y").

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

@@ -0,0 +1,3 @@
+%% goal: answer(X0)
+
+answer(N) :- number_string(N, "42").

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

@@ -0,0 +1,3 @@
+%% goal: answer(X0)
+
+answer(ok) :- \+ number_string(N, "four").

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

@@ -0,0 +1,3 @@
+%% goal: answer(X0)
+
+answer(Text) :- replace("abc", "", "X", Text).

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

@@ -0,0 +1,3 @@
+%% goal: answer(X0)
+
+answer(Parts) :- split("abc", ",", Parts).

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

@@ -0,0 +1,3 @@
+%% goal: answer(X0)
+
+answer(ok) :- \+ substring("abc", 2, 5, Text).

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

@@ -0,0 +1,3 @@
+%% goal: answer(X0)
+
+answer(Text) :- substring("abcdef", 2, 0, Text).

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

@@ -0,0 +1,3 @@
+%% goal: answer(X0)
+
+answer(Text) :- term_string(pair('<urn:example:a>', [1, two]), Text).

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

@@ -0,0 +1,4 @@
+%% goal: answer(X0)
+
+answer(X) :- trim("	 hello 
+", X).

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

@@ -0,0 +1,6 @@
+% Reference 5.5, 7: parenthesized comma terms are conjunctions in goal position.
+p(a).
+q(a).
+ok(X, yes) :- (p(X), q(X)).
+%% goal: ok(X0, X1)
+

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

@@ -0,0 +1,5 @@
+% Reference 5.5: comma terms remain data outside goal position.
+record((name(alice, "Alice"), knows(alice, bob))).
+answer(formula, F) :- record(F).
+%% goal: answer(X0, X1)
+

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

@@ -0,0 +1,6 @@
+% 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).
+%% goal: answer(X0, X1)
+

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

@@ -0,0 +1,8 @@
+% 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).
+%% goal: answer(X0, X1)
+

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

@@ -0,0 +1,6 @@
+% 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)).
+%% goal: answer(X0, X1)
+

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

@@ -0,0 +1,5 @@
+% Leading comment.
+%% goal: answer(X0)
+ % trailing comment
+
+answer(ok). % another trailing comment

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

@@ -0,0 +1,4 @@
+% Leading comment
+%% goal: answer(X0, X1)
+ % declaration comment
+answer(comments_after_terms, ok). % fact comment

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

@@ -0,0 +1,3 @@
+%% goal: answer(X0)
+
+answer(nested_parenthesized_body) :- (((a = a), (b = b))).

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

@@ -0,0 +1,3 @@
+%% goal: answer(X0)
+
+answer(Term) :- Term = x-y.

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

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

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

@@ -0,0 +1,4 @@
+%% goal: answer(X0)
+
+answer('line
+break').

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

@@ -0,0 +1,3 @@
+%% goal: answer(X0)
+
+answer("a	b").

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

@@ -0,0 +1,17 @@
+% Reference 3, 5, 11: scalars, compounds, lists, and read-back printing.
+%% goal: value(X0, X1)
+
+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/065_reusable_term_control_builtins.pl

@@ -0,0 +1,13 @@
+% Reference 9.1: term introspection/construction, term strings, and forall/2.
+%% goal: answer(X0, X1)
+
+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)) :- (edge(a, b) =.. [Name | Args]).
+answer(compose, X) :- (X =.. [edge | [a, b]]).
+answer(term_string, X) :- term_string(edge(a, [b, c]), X).
+answer(forall, ok) :- \+ item_counterexample.
+item_counterexample :- item(X), \+ (X < 4).

package/test/conformance/cases/terms/073_term_introspection_edges.pl

@@ -0,0 +1,12 @@
+% Reference 9.1: term-inspection built-ins expose scalars, nested arguments, and atom construction from an empty argument list.
+%% goal: answer(X0, X1)
+
+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) :- (X =.. [outer | [inner(a), [b, c]]]).
+answer(compose_atom_empty_args, X) :- (X =.. [z | []]).
+answer(decompose_atom_empty_args, pair(Name, Args)) :- (z =.. [Name | Args]).
+answer(arg_zero_rejected, ok) :- \+ arg(0, edge(a, b), X).
+answer(arg_too_large_rejected, ok) :- \+ arg(3, edge(a, b), X).

package/test/conformance/cases/terms/095_term_introspection_roundtrip.pl

@@ -0,0 +1,9 @@
+% Reference 9.10: term inspection can decompose and recompose compound terms.
+%% goal: answer(X0, X1)
+
+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)) :- (edge(a, b) =.. [Name | Args]).
+answer(recompose, X) :- (X =.. [edge | [a, b]]).
+answer(roundtrip, X) :- (edge(a, b) =.. [Name | Args]), (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.
+%% goal: answer(X0, X1)
+
+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).

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

@@ -0,0 +1,4 @@
+%% goal: answer(X0, X1)
+
+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,3 @@
+%% goal: answer(X0)
+
+answer(ok) :- \+ arg(0, pair(a, b), X).

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

@@ -0,0 +1,4 @@
+% compound_name_arguments/3 observes atoms as name plus empty argument list.
+%% goal: answer(X0, X1)
+
+answer(Name, Args) :- (nil =.. [Name | Args]).

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

@@ -0,0 +1,4 @@
+% Building a term with an empty argument list yields an atom, not nil().
+%% goal: answer(X0)
+
+answer(Term) :- (Term =.. [nil | []]).

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

@@ -0,0 +1,3 @@
+%% goal: answer(X0)
+
+answer(X) :- (X =.. [pair | [a, b]]).

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

@@ -0,0 +1,3 @@
+%% goal: answer(X0, X1)
+
+answer(Name, Args) :- ('<urn:example:a>' =.. [Name | Args]).

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

@@ -0,0 +1,3 @@
+%% goal: answer(X0, X1, X2)
+
+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,3 @@
+%% goal: answer(X0)
+
+answer(arg_zero_fails) :- arg(0, pair(a, b), _).

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

@@ -0,0 +1,3 @@
+%% goal: answer(X0, X1)
+
+answer(compound_name_arguments_construct_atom_zero, X) :- (X =.. [nil | []]).

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

@@ -0,0 +1,3 @@
+%% goal: answer(X0, X1)
+
+answer(compound_name_arguments_construct_iri, X) :- (X =.. ['<urn:example:pair>' | [a, b]]).

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

@@ -0,0 +1,3 @@
+%% goal: answer(X0, X1, X2)
+
+answer(compound_name_arguments_decompose_list, Name, Args) :- ([a | b] =.. [Name | Args]).

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

@@ -0,0 +1,3 @@
+%% goal: answer(X0, X1, X2)
+
+answer(functor_list_cons, Name, Arity) :- functor([a, b], Name, Arity).

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

@@ -0,0 +1,3 @@
+%% goal: answer(X0, X1, X2)
+
+answer(functor_number_scalar, Name, Arity) :- functor(123, Name, Arity).

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

@@ -0,0 +1,3 @@
+%% goal: answer(X0, X1, X2)
+
+answer(functor_string_scalar, Name, Arity) :- functor("hello", Name, Arity).

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

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

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

@@ -0,0 +1,4 @@
+%% goal: answer(X0, X1, X2)
+
+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,3 @@
+%% goal: answer(X0)
+
+answer(true) :- (registration_of(alice, logic) \= registration_of(alice, math)).

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

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