eyeprolog 0.5.3

package/test/conformance/cases/iso/logtalk_number_codes.pl

@@ -0,0 +1,13 @@
+% Adapted from Logtalk iso_number_codes_2_01 through 06 and 09 through 11.
+% Modified for EyeProlog's conformance harness. See test/conformance/THIRD_PARTY.md.
+%% goal: number_code_results(X0, X1, X2, X3)
+
+number_code_results(IntegerCodes, Float, Negative, Spaced) :-
+    number_codes(33, IntegerCodes),
+    number_codes(33.0, FloatCodes),
+    number_codes(Float, FloatCodes),
+    number_codes(Negative, [45, 50, 53]),
+    number_codes(Spaced, [32, 51]),
+    number_codes(4.2, [52, 46, 50]),
+    number_codes(0.1, Codes),
+    number_codes(0.1, Codes).

package/test/conformance/cases/iso/logtalk_occurs_check.pl

@@ -0,0 +1,17 @@
+% Adapted from Logtalk iso_unify_with_occurs_check_2_01 through 17, 19, and 20.
+% Modified for EyeProlog's conformance harness. See test/conformance/THIRD_PARTY.md.
+%% goal: occurs_check_results(X0, X1)
+
+occurs_check_results(One, Def) :-
+    unify_with_occurs_check(One, 1),
+    unify_with_occurs_check(X, Y),
+    X = shared, Y = shared,
+    unify_with_occurs_check(f(A, def), f(def, Def)),
+    A = def,
+    \+ unify_with_occurs_check(1, 2),
+    \+ unify_with_occurs_check(1, 1.0),
+    \+ unify_with_occurs_check(g(B), f(f(B))),
+    \+ unify_with_occurs_check(C, a(C)),
+    \+ unify_with_occurs_check(D, [_ | D]),
+    unify_with_occurs_check(f(E, E), f(F, F)),
+    E = same, F = same.

package/test/conformance/cases/iso/logtalk_once.pl

@@ -0,0 +1,11 @@
+% Adapted from Logtalk iso_once_1_01 through 04.
+% Modified for EyeProlog's conformance harness. See test/conformance/THIRD_PARTY.md.
+%% goal: once_results(X0)
+
+once_results(Values) :-
+    once(!),
+    findall(X, choose_after_once(X), Values),
+    once(repeat),
+    \+ once(fail).
+
+choose_after_once(X) :- once(!), (X = 1; X = 2).

package/test/conformance/cases/iso/logtalk_operators.pl

@@ -0,0 +1,18 @@
+% Adapted from Logtalk op/3 tests 01, 02, 09, 18, 32, and 33 and
+% current_op/3 tests 01 through 39. Modified for EyeProlog's harness.
+% See test/conformance/THIRD_PARTY.md.
+%% goal: operator_results(X0, X1, X2)
+
+operator_results(RulePriority, PlusPriority, PlusSpecifier) :-
+    current_op(RulePriority, xfx, ':-'),
+    current_op(PlusPriority, PlusSpecifier, '+'),
+    PlusPriority = 500,
+    PlusSpecifier = yfx,
+    op(333, xfy, [abc, abc, abc]),
+    current_op(333, xfy, abc),
+    op(30, xfy, '++'),
+    current_op(30, xfy, '++'),
+    op(0, xfy, '++'),
+    \+ current_op(_, xfy, '++'),
+    op(0, fx, unused),
+    \+ current_op(_, _, unused).

package/test/conformance/cases/iso/logtalk_prolog_flags.pl

@@ -0,0 +1,15 @@
+% Adapted from Logtalk iso_current_prolog_flag_2_01, 02, 05 through 10,
+% and eddbali_current_prolog_flag_2_12 through 13. Modified for EyeProlog's harness.
+% See test/conformance/THIRD_PARTY.md.
+%% goal: prolog_flags(X0, X1, X2, X3, X4)
+
+prolog_flags(Bounded, Rounding, Conversion, Unknown, Quotes) :-
+    current_prolog_flag(debug, off),
+    current_prolog_flag(bounded, Bounded),
+    current_prolog_flag(integer_rounding_function, Rounding),
+    current_prolog_flag(char_conversion, Conversion),
+    current_prolog_flag(unknown, Unknown),
+    current_prolog_flag(double_quotes, Quotes),
+    set_prolog_flag(unknown, warning),
+    current_prolog_flag(unknown, warning),
+    \+ current_prolog_flag(unknown, error).

package/test/conformance/cases/iso/logtalk_repeat.pl

@@ -0,0 +1,5 @@
+% Adapted from the Logtalk repeat/0 conformance suite.
+% Modified for EyeProlog's conformance harness. See test/conformance/THIRD_PARTY.md.
+%% goal: repeat_once
+
+repeat_once :- once(repeat).

package/test/conformance/cases/iso/logtalk_retract.pl

@@ -0,0 +1,16 @@
+% Adapted from Logtalk iso_retract_1_01 through 06.
+% Modified for EyeProlog's conformance harness. See test/conformance/THIRD_PARTY.md.
+:- dynamic(insect/1).
+insect(ant). insect(bee).
+:- dynamic(legs/2).
+legs(octopus, 8).
+legs(A, 6) :- insect(A).
+%% goal: retract_results(X0, X1)
+
+retract_results(Body, FirstInsect) :-
+    retract(legs(octopus, 8)),
+    \+ retract(legs(spider, 6)),
+    retract((legs(X, 6) :- Body)),
+    X = ant,
+    retract(insect(FirstInsect)),
+    retract(insect(bee)).

package/test/conformance/cases/iso/logtalk_setof.pl

@@ -0,0 +1,10 @@
+% Adapted from Logtalk iso_setof_3_01 through 09.
+% Modified for EyeProlog's conformance harness. See test/conformance/THIRD_PARTY.md.
+%% goal: setof_results(X0, X1, X2)
+
+setof_results(Ordered, Unique, Quantified) :-
+    setof(X, (X = 2; X = 1), Ordered),
+    setof(Y, (Y = 2; Y = 2), Unique),
+    setof(Z, W^(pair(Z, W)), Quantified),
+    \+ setof(_, fail, _).
+pair(2, b). pair(1, a).

package/test/conformance/cases/iso/logtalk_sub_atom.pl

@@ -0,0 +1,13 @@
+% Adapted from Logtalk iso_sub_atom_5_01 through 07 and sics_sub_atom_5_17
+% through 28 and 33. Modified for EyeProlog's harness. See THIRD_PARTY.md.
+%% goal: sub_atom_results(X0, X1, X2, X3)
+
+sub_atom_results(Prefix, Suffix, Middle, Occurrences) :-
+    sub_atom(abracadabra, 0, 5, _, Prefix),
+    sub_atom(abracadabra, _, 5, 0, Suffix),
+    sub_atom(abracadabra, 3, 5, 3, Middle),
+    findall(B-A, sub_atom(abracadabra, B, 2, A, ab), Occurrences),
+    sub_atom('Banana', 2, 3, 1, nan),
+    \+ sub_atom('Banana', 2, 3, 1, ana),
+    \+ sub_atom('Banana', 2, 3, 2, nan),
+    \+ sub_atom('Banana', 0, 7, 0, _).

package/test/conformance/cases/iso/logtalk_term_comparison.pl

@@ -0,0 +1,26 @@
+% Adapted from Logtalk iso_term_comparison_01 through 19 and
+% lgt_term_comparison_20 through 27. Modified for EyeProlog's conformance harness.
+% See test/conformance/THIRD_PARTY.md.
+%% goal: term_comparison_order
+
+
+term_comparison_order :-
+    1.0 @< 1,
+    aardvark @=< zebra,
+    short @=< short,
+    short @=< shorter,
+    \+ short @>= shorter,
+    \+ foo(a, b) @< north(a),
+    foo(b) @> foo(a),
+    foo(a, _) @< foo(b, _),
+    X @=< X,
+    X == X,
+    A \== B,
+    Variable @< 1.1,
+    1.1 @< 1,
+    1 @< a,
+    a @< a(_),
+    a(_) @< a(_, _),
+    b(_) @< a(_, _),
+    a(1, 2) @< a(1, 3),
+    a(1, 2) @< b(1, 2).

package/test/conformance/cases/iso/logtalk_term_variables.pl

@@ -0,0 +1,38 @@
+% Adapted from Logtalk iso_term_variables_2_03, 04, 06, 07, and 08.
+% Modified for EyeProlog's conformance harness. See test/conformance/THIRD_PARTY.md.
+%% goal: ground_variables(X0)
+
+ground_variables(Ground) :- term_variables(t, Ground).
+
+%% goal: ordered_variables(X0)
+
+ordered_variables(Ordered) :-
+    term_variables(A+B*C/B-D, Ordered),
+    A = first,
+    B = second,
+    C = third,
+    D = fourth.
+
+%% goal: shared_variables_first(X0)
+
+shared_variables_first(SharedFirst) :-
+    S1 = B1+T1,
+    T1 = A1*B1,
+    term_variables(S1, SharedFirst),
+    B1 = first,
+    A1 = second.
+
+%% goal: shared_variables_second(X0)
+
+shared_variables_second(SharedSecond) :-
+    T2 = A2*B2,
+    S2 = B2+T2,
+    term_variables(S2, SharedSecond),
+    B2 = first,
+    A2 = second.
+
+%% goal: prefilled_variables
+
+prefilled_variables :-
+    term_variables(A3+B3+B3, [B3, B3]),
+    A3 == B3.

package/test/conformance/cases/iso/logtalk_univ.pl

@@ -0,0 +1,13 @@
+% Adapted from Logtalk iso_univ_2_01 through 06 and lgt_univ_2_19 through 30.
+% Modified for EyeProlog's conformance harness. See test/conformance/THIRD_PARTY.md.
+%% goal: univ_results(X0, X1, X2, X3, X4)
+
+univ_results(Built, Compound, Atom, List, Number) :-
+    Built =.. [foo, a, b],
+    foo(a, b) =.. Compound,
+    a =.. Atom,
+    [1] =.. List,
+    1.0 =.. Number,
+    \+ (foo(a, b) =.. [foo, b, a]),
+    \+ (1 =.. [_, _]),
+    \+ (a =.. []).

package/test/conformance/cases/iso/negation_success.pl

@@ -0,0 +1,4 @@
+% Isolated ISO mode-table success case.
+%% goal: answer
+
+answer :- \+ fail.

package/test/conformance/cases/iso/nonidentity_distinct_variables.pl

@@ -0,0 +1,4 @@
+% Isolated ISO mode-table success case.
+%% goal: answer
+
+answer :- X \== Y.

package/test/conformance/cases/iso/nonunifiable_compounds.pl

@@ -0,0 +1,4 @@
+% Isolated ISO mode-table success case.
+%% goal: answer
+
+answer :- f(a) \= f(b).

package/test/conformance/cases/iso/number_chars_integer.pl

@@ -0,0 +1,4 @@
+% Isolated ISO mode-table success case.
+%% goal: answer
+
+answer :- number_chars(-25, ['-', '2', '5']).

package/test/conformance/cases/iso/number_codes_decimal.pl

@@ -0,0 +1,4 @@
+% Isolated ISO mode-table success case.
+%% goal: answer
+
+answer :- number_codes(4.5, [52, 46, 53]).

package/test/conformance/cases/iso/occurs_check_rejects_cycle.pl

@@ -0,0 +1,4 @@
+% Isolated ISO mode-table success case.
+%% goal: answer
+
+answer :- \+ unify_with_occurs_check(X, f(X)).

package/test/conformance/cases/iso/once_commits_first.pl

@@ -0,0 +1,6 @@
+% Isolated ISO mode-table success case.
+%% goal: answer
+
+choice(first).
+choice(second).
+answer :- once(choice(X)), X = first.

package/test/conformance/cases/iso/operators.pl

@@ -0,0 +1,38 @@
+% ISO 8.14: operator declarations affect the terms that follow them.
+:- op(500, xfy, likes).
+:- op(400, yfx, then).
+:- op(300, fy, maybe).
+:- op(200, yf, done).
+:- op(650, xfx, [links, relates]).
+
+%% goal: operator_terms(A, B, C, D)
+
+operator_terms(A, B, C, D) :-
+    A = (alice likes bob likes carol),
+    B = (alice then bob then carol),
+    C = (maybe maybe alice),
+    D = (alice done done).
+
+%% goal: declared_operator(P, S)
+
+declared_operator(P, S) :-
+    current_op(P, S, likes).
+
+%% goal: operator_list_declaration(A, B)
+
+operator_list_declaration(A, B) :-
+    A = (alice links bob),
+    B = (alice relates bob).
+
+%% goal: runtime_operator(P, S)
+
+runtime_operator(P, S) :-
+    op(675, xfx, runtime_link),
+    current_op(P, S, runtime_link).
+
+%% goal: removed_operator(ok)
+
+removed_operator(ok) :-
+    op(675, xfx, temporary_link),
+    op(0, xfx, temporary_link),
+    \+ current_op(_, _, temporary_link).

package/test/conformance/cases/iso/remaining_builtins_and_directives.pl

@@ -0,0 +1,35 @@
+% ISO 7.4 and 8.14/8.17: remaining directives and mandatory built-ins.
+:- dynamic([stored/1, spare/0]).
+:- multifile(distributed/1).
+:- discontiguous(distributed/1).
+:- initialization(assertz(stored(initialized))).
+:- set_prolog_flag(debug, on).
+:- char_conversion('&', a).
+
+distributed(first).
+between_clause(ok).
+distributed(second).
+
+%% goal: directive_state(Value, Debug)
+
+directive_state(Value, Debug) :-
+    stored(Value),
+    current_prolog_flag(debug, Debug).
+
+%% goal: character_conversion(Term, From, To)
+
+character_conversion(Term, From, To) :-
+    open('/tmp/eyeprolog-iso-conversion.txt', write, Output),
+    put_char(Output, '&'),
+    put_char(Output, '.'),
+    close(Output),
+    open('/tmp/eyeprolog-iso-conversion.txt', read, Input),
+    read(Input, Term),
+    close(Input),
+    current_char_conversion(From, To).
+
+%% goal: remove_conversion(ok)
+
+remove_conversion(ok) :-
+    char_conversion('&', '&'),
+    \+ current_char_conversion('&', _).

package/test/conformance/cases/iso/scryer_lexical_terms.pl

@@ -0,0 +1,34 @@
+% Adapted from Scryer Prolog tests-pl/iso-conformity-tests.pl.
+% Upstream cases: 95, 101, 108, 124, 174, 175, 176, 186, 187,
+% 219, 269, 298, and 302. See test/conformance/THIRD_PARTY.md.
+
+%% goal: scryer_escapes(ok)
+
+scryer_escapes(ok) :-
+    a = '\141\',
+    a = '\x61\',
+    65 = 0'\x41\,
+    atom_codes('\b\r\f\t\n', [8, 13, 12, 9, 10]).
+
+%% goal: scryer_numbers(-1, 1, 1, 1, 1)
+
+scryer_numbers(NegativeHex, Binary, Octal, Hex, Modulo) :-
+    NegativeHex = -0x1,
+    Binary = 0b1,
+    Octal = 0o1,
+    Hex = 0x1,
+    Modulo is 0b1 mod 2.
+
+%% goal: scryer_comments(7, 7)
+
+scryer_comments(First, Second) :-
+    First/* /*/=7,
+    Second/*/*/=7.
+
+%% goal: scryer_terms({1}, [a], [a, b | c], [])
+
+scryer_terms(Curly, Proper, Improper, Empty) :-
+    Curly = {1},
+    Proper = [a|[]],
+    Improper = [a,b|c],
+    Empty = '[]'.

package/test/conformance/cases/iso/scryer_operator_precedence.pl

@@ -0,0 +1,16 @@
+% Adapted from Scryer Prolog tests-pl/iso-conformity-tests.pl.
+% Upstream cases: 147-156 and 159-161. See
+% test/conformance/THIRD_PARTY.md.
+
+:- op(9, fy, fy).
+:- op(9, yf, yf).
+:- op(9, yfx, yfx).
+:- op(9, xfy, xfy).
+
+%% goal: scryer_operator_precedence(A, B, C, D)
+
+scryer_operator_precedence(A, B, C, D) :-
+    A = (fy 1 yf),
+    B = (fy 1 yfx 2),
+    C = (1 xfy 2 yf),
+    D = (fy fy 0).

package/test/conformance/cases/iso/streams_and_term_io.pl

@@ -0,0 +1,67 @@
+% ISO 8.11-8.12: stream lifecycle, text/binary units, term I/O, and properties.
+%% goal: text_roundtrip(Term, Peek, Code, Mode, Alias)
+
+text_roundtrip(Term, Peek, Code, Mode, Alias) :-
+    open('/tmp/eyeprolog-iso-text.txt', write, Output, [alias(iso_text_output), type(text)]),
+    writeq(iso_text_output, sample(42)),
+    put_char(iso_text_output, '.'),
+    put_char(iso_text_output, 'Z'),
+    close(Output),
+    open('/tmp/eyeprolog-iso-text.txt', read, Input, [alias(iso_text_input), eof_action(eof_code)]),
+    stream_property(Input, mode(Mode)),
+    stream_property(Input, alias(Alias)),
+    read(iso_text_input, Term),
+    peek_char(Input, Peek),
+    get_code(Input, Code),
+    at_end_of_stream(Input),
+    close(Input).
+
+%% goal: binary_roundtrip(Peek, Byte, End)
+
+binary_roundtrip(Peek, Byte, End) :-
+    open('/tmp/eyeprolog-iso-binary.bin', write, Output, [type(binary)]),
+    put_byte(Output, 65),
+    close(Output),
+    open('/tmp/eyeprolog-iso-binary.bin', read, Input, [type(binary), eof_action(eof_code)]),
+    peek_byte(Input, Peek),
+    get_byte(Input, Byte),
+    get_byte(Input, End),
+    close(Input).
+
+%% goal: read_term_metadata(ok)
+
+read_term_metadata(ok) :-
+    open('/tmp/eyeprolog-iso-read-term.txt', write, Output, []),
+    writeq(Output, pair(X, X, Y)),
+    put_char(Output, '.'),
+    close(Output),
+    open('/tmp/eyeprolog-iso-read-term.txt', read, Input, [reposition(true)]),
+    read_term(Input, pair(A, A, B), [
+        variables([A, B]),
+        variable_names([NameA=A, NameB=B]),
+        singletons([NameB=B])
+    ]),
+    stream_property(Input, position(Position)),
+    set_stream_position(Input, 0),
+    read(Input, pair(C, C, D)),
+    Position > 0,
+    atom(NameA),
+    atom(NameB),
+    NameA \== NameB,
+    C \== D,
+    close(Input).
+
+%% goal: default_streams(ok)
+
+default_streams(ok) :-
+    current_input(Input),
+    current_output(Output),
+    stream_property(Input, alias(user_input)),
+    stream_property(Output, alias(user_output)),
+    flush_output(Output).
+
+%% goal: standard_write(ok)
+
+standard_write(ok) :-
+    write(io_marker),
+    nl.

package/test/conformance/cases/iso/sub_atom_empty.pl

@@ -0,0 +1,4 @@
+% Isolated ISO mode-table success case.
+%% goal: answer
+
+answer :- sub_atom(prolog, 2, 0, 4, '').

package/test/conformance/cases/iso/sub_atom_prefix.pl

@@ -0,0 +1,4 @@
+% Isolated ISO mode-table success case.
+%% goal: answer
+
+answer :- sub_atom(prolog, 0, 3, 3, pro).

package/test/conformance/cases/iso/sub_atom_suffix.pl

@@ -0,0 +1,4 @@
+% Isolated ISO mode-table success case.
+%% goal: answer
+
+answer :- sub_atom(prolog, 3, 3, 0, log).

package/test/conformance/cases/iso/swipl_occurs_check.pl

@@ -0,0 +1,12 @@
+% Adapted from SWI-Prolog tests/core/test_occurs_check.pl.
+% See test/conformance/THIRD_PARTY.md.
+
+%% goal: swipl_occurs_check(ok)
+
+swipl_occurs_check(ok) :-
+    \+ unify_with_occurs_check(A, list(A)),
+    unify_with_occurs_check(B, C),
+    unify_with_occurs_check(D, D),
+    var(B),
+    var(C),
+    var(D).

package/test/conformance/cases/iso/swipl_operator_syntax.pl

@@ -0,0 +1,20 @@
+% Adapted from SWI-Prolog tests/core/test_op.pl, current_op and op_syntax.
+% See test/conformance/THIRD_PARTY.md.
+
+:- op(100, xf, xf100).
+:- op(200, xf, xf200).
+:- op(100, fx, fx100).
+:- op(100, yf, yf100).
+:- op(900, xfy, xfy900).
+
+%% goal: swipl_standard_plus(Priority, Specifier)
+
+swipl_standard_plus(Priority, Specifier) :-
+    current_op(Priority, Specifier, '+').
+
+%% goal: swipl_operator_syntax(A, B, C)
+
+swipl_operator_syntax(A, B, C) :-
+    A = (xf100 xf200),
+    B = (fx100 1 xf200),
+    C = (p, q yf100 xfy900 c).

package/test/conformance/cases/iso/term_modes_and_ordering.pl

@@ -0,0 +1,46 @@
+% ISO 8.3-8.5: type tests, term order, functor/3, arg/3, and copy_term/2.
+%% goal: types(X0, X1, X2, X3)
+
+types(Variable, Integer, Float, Compound) :-
+    Integer = 7,
+    Float = 2.5,
+    Compound = pair(a, 1),
+    var(Variable),
+    integer(Integer),
+    float(Float),
+    compound(Compound),
+    number(Integer),
+    number(Float),
+    atomic(Integer),
+    callable(Compound),
+    nonvar(Compound),
+    ground(Compound),
+    Variable = was_variable.
+
+%% goal: ordering(X0, X1, X2)
+
+ordering(Less, Equal, Greater) :-
+    compare(Less, a, b),
+    compare(Equal, f(a), f(a)),
+    compare(Greater, 3, 2),
+    a @< b,
+    f(a) @=< f(a),
+    3 @> 2,
+    z @>= z.
+
+%% goal: functors(X0, X1, X2, X3)
+
+functors(Built, Name, Arity, Second) :-
+    functor(Built, node, 2),
+    arg(1, Built, left),
+    arg(2, Built, Second),
+    Second = right,
+    functor(Built, Name, Arity).
+
+%% goal: copied(X0, X1)
+
+copied(Original, Copy) :-
+    Original = pair(Shared, Shared),
+    copy_term(Original, Copy),
+    Shared = source,
+    Copy = pair(copy, copy).

package/test/conformance/cases/iso/term_order_atom_less.pl

@@ -0,0 +1,4 @@
+% Isolated ISO mode-table success case.
+%% goal: answer
+
+answer :- alpha @< beta.

package/test/conformance/cases/iso/term_order_equal_greater_or_equal.pl

@@ -0,0 +1,4 @@
+% Isolated ISO mode-table success case.
+%% goal: answer
+
+answer :- z @>= z.

package/test/conformance/cases/iso/term_order_equal_less_or_equal.pl

@@ -0,0 +1,4 @@
+% Isolated ISO mode-table success case.
+%% goal: answer
+
+answer :- pair(a) @=< pair(a).

package/test/conformance/cases/iso/term_order_number_greater.pl

@@ -0,0 +1,4 @@
+% Isolated ISO mode-table success case.
+%% goal: answer
+
+answer :- 9 @> 3.

package/test/conformance/cases/iso/trealla_atom_enumeration.pl

@@ -0,0 +1,12 @@
+% Adapted from Trealla Prolog tests/tests/test018.pl and test100.pl.
+% See test/conformance/THIRD_PARTY.md.
+
+%% goal: concat_split(Left, Right)
+
+concat_split(Left, Right) :-
+    atom_concat(Left, Right, abcdef).
+
+%% goal: sub_atom_match(Before, Length, After)
+
+sub_atom_match(Before, Length, After) :-
+    sub_atom(banana, Before, Length, After, ana).

package/test/conformance/cases/iso/trealla_logical_update_view.pl

@@ -0,0 +1,12 @@
+% Adapted from Trealla Prolog tests/tests/test077.pl.
+% See test/conformance/THIRD_PARTY.md.
+:- dynamic(insect/1).
+
+insect(ant).
+insect(bee).
+
+%% goal: logical_update(X)
+
+logical_update(X) :-
+    retract(insect(X)),
+    (X = ant -> retract(insect(bee)); true).

package/test/conformance/cases/iso/trealla_term_shapes.pl

@@ -0,0 +1,17 @@
+% Adapted from Trealla Prolog tests/tests/test059.pl, tests 6-9 and 13.
+% See test/conformance/THIRD_PARTY.md.
+
+%% goal: term_shapes(ok)
+
+term_shapes(ok) :-
+    functor({a,b,c}, {}, 1),
+    functor([a,b,c], '.', 2),
+    functor((a,b,c), ',', 2),
+    arg(1, {a,b,c}, (a,b,c)),
+    arg(1, [a,b,c], a),
+    arg(2, [a,b,c], [b,c]),
+    arg(1, (a,b,c), a),
+    arg(2, (a,b,c), (b,c)),
+    Constructed =.. [shape, 1, 2],
+    Constructed = shape(1, 2),
+    shape(1, 2, 3) =.. [shape, 1, 2, 3].

package/test/conformance/cases/iso/type_atom_success.pl

@@ -0,0 +1,4 @@
+% Isolated ISO mode-table success case.
+%% goal: answer
+
+answer :- atom(atom).

package/test/conformance/cases/iso/type_atomic_atom_success.pl

@@ -0,0 +1,4 @@
+% Isolated ISO mode-table success case.
+%% goal: answer
+
+answer :- atomic(atom).

package/test/conformance/cases/iso/type_atomic_number_success.pl

@@ -0,0 +1,4 @@
+% Isolated ISO mode-table success case.
+%% goal: answer
+
+answer :- atomic(7).

package/test/conformance/cases/iso/type_callable_atom_success.pl

@@ -0,0 +1,4 @@
+% Isolated ISO mode-table success case.
+%% goal: answer
+
+answer :- callable(run).

package/test/conformance/cases/iso/type_callable_compound_success.pl

@@ -0,0 +1,4 @@
+% Isolated ISO mode-table success case.
+%% goal: answer
+
+answer :- callable(run(now)).

package/test/conformance/cases/iso/type_compound_success.pl

@@ -0,0 +1,4 @@
+% Isolated ISO mode-table success case.
+%% goal: answer
+
+answer :- compound(pair(a, b)).

package/test/conformance/cases/iso/type_float_success.pl

@@ -0,0 +1,4 @@
+% Isolated ISO mode-table success case.
+%% goal: answer
+
+answer :- float(1.25).