| ... |
|
arg_first_success.pl
|
8 B |
|
arg_last_success.pl
|
8 B |
|
arg_out_of_range_fails.pl
|
8 B |
|
arithmetic.pl
|
20 B |
|
arithmetic_bit_and.pl
|
8 B |
|
arithmetic_bit_or.pl
|
8 B |
|
arithmetic_bit_shift.pl
|
8 B |
|
arithmetic_comparison_equal.pl
|
8 B |
|
arithmetic_comparison_not_equal.pl
|
8 B |
|
arithmetic_integer_quotient.pl
|
8 B |
|
arithmetic_remainder.pl
|
8 B |
|
arithmetic_unary_plus.pl
|
8 B |
|
arithmetic_underflow_rounds.pl
|
29 B |
|
atom_chars_forward.pl
|
8 B |
|
atom_chars_reverse.pl
|
8 B |
|
atom_codes_forward.pl
|
8 B |
|
atom_codes_reverse.pl
|
8 B |
|
atom_concat_forward.pl
|
8 B |
|
atom_concat_prefix.pl
|
8 B |
|
atom_concat_suffix.pl
|
8 B |
|
atom_length_unicode.pl
|
8 B |
|
atom_length_zero.pl
|
8 B |
|
atomic_term_processing.pl
|
155 B |
|
bitwise_complement.pl
|
13 B |
|
call_success.pl
|
8 B |
|
catch_recovers.pl
|
8 B |
|
char_code_forward.pl
|
8 B |
|
char_code_reverse.pl
|
8 B |
|
clause_body_conversion.pl
|
147 B |
|
clause_static_and_dynamic_access.pl
|
80 B |
|
compare_equal_result.pl
|
8 B |
|
compare_greater_result.pl
|
8 B |
|
compare_less_result.pl
|
8 B |
|
control_and_terms.pl
|
66 B |
|
copy_term_fresh_variables.pl
|
8 B |
|
core_predicates.pl
|
28 B |
|
corrigenda_arithmetic.pl
|
102 B |
|
corrigenda_bar_operator.pl
|
29 B |
|
corrigenda_call_closure.pl
|
46 B |
|
corrigenda_catch_callability.pl
|
34 B |
|
corrigenda_retractall.pl
|
27 B |
|
corrigenda_sort_keysort.pl
|
29 B |
|
corrigenda_term_predicates.pl
|
32 B |
|
corrigendum1_double_quote_operator.pl
|
40 B |
|
corrigendum3_write_variable_names.pl
|
54 B |
|
cut_control.pl
|
254 B |
|
cut_disjunction_scope.pl
|
20 B |
|
dcg_ambiguous_alternatives.pl
|
28 B |
|
dcg_call_phrase_semicontext.pl
|
118 B |
|
dcg_control_constructs.pl
|
132 B |
|
dcg_declaration_nonterminal_indicators.pl
|
21 B |
|
dcg_double_quotes_atom.pl
|
38 B |
|
dcg_double_quotes_codes.pl
|
21 B |
|
dcg_dynamic_body_control.pl
|
151 B |
|
dcg_dynamic_nonterminal_indicator.pl
|
31 B |
|
dcg_explicit_qualified_head.pl
|
32 B |
|
dcg_module_nonterminal_indicator.pl
|
65 B |
|
dcg_nested_phrase_call.pl
|
22 B |
|
dcg_operator_table.pl
|
60 B |
|
dcg_partial_sequences.pl
|
71 B |
|
dcg_phrase_steadfastness.pl
|
118 B |
|
dcg_qualified_chain.pl
|
55 B |
|
dcg_recursive_sequences.pl
|
102 B |
|
dcg_terminals_and_remainder.pl
|
76 B |
|
dcg_variable_hygiene.pl
|
117 B |
|
double_quoted_lists.pl
|
169 B |
|
dynamic_database.pl
|
99 B |
|
exceptions_and_flags.pl
|
424 B |
|
false_builtin.pl
|
41 B |
|
functor_construct_atom.pl
|
8 B |
|
functor_construct_compound.pl
|
8 B |
|
functor_decompose_atom.pl
|
8 B |
|
functor_decompose_compound.pl
|
8 B |
|
functor_decompose_number.pl
|
8 B |
|
grouped_solutions_and_clauses.pl
|
255 B |
|
halt.pl
|
12 B |
|
identity_shared_variable.pl
|
8 B |
|
if_then_else_fallback.pl
|
8 B |
|
if_then_success.pl
|
8 B |
|
include_and_ensure_loaded.pl
|
49 B |
|
lexical_and_curly_terms.pl
|
62 B |
|
logtalk_abolish.pl
|
16 B |
|
logtalk_arg_unification.pl
|
33 B |
|
logtalk_assert_order.pl
|
37 B |
|
logtalk_atom_chars.pl
|
42 B |
|
logtalk_atom_codes.pl
|
55 B |
|
logtalk_atom_concat.pl
|
118 B |
|
logtalk_atom_length.pl
|
21 B |
|
logtalk_bagof.pl
|
42 B |
|
logtalk_char_code.pl
|
30 B |
|
logtalk_clause.pl
|
55 B |
|
logtalk_compare_standard_order.pl
|
29 B |
|
logtalk_copy_term_semantics.pl
|
21 B |
|
logtalk_current_predicate.pl
|
25 B |
|
logtalk_current_streams.pl
|
17 B |
|
logtalk_dcg_conjunction_disjunction.pl
|
208 B |
|
logtalk_dcg_cut.pl
|
140 B |
|
logtalk_dcg_cut_positions.pl
|
116 B |
|
logtalk_dcg_embedded_goals.pl
|
121 B |
|
logtalk_dcg_embedded_sequences.pl
|
93 B |
|
logtalk_dcg_graphic_nonterminal.pl
|
27 B |
|
logtalk_dcg_if_then_else.pl
|
228 B |
|
logtalk_dcg_negation_positions.pl
|
163 B |
|
logtalk_dcg_nonterminals.pl
|
82 B |
|
logtalk_dcg_phrase_identity.pl
|
219 B |
|
logtalk_dcg_semicontext_variants.pl
|
195 B |
|
logtalk_dcg_semicontexts.pl
|
145 B |
|
logtalk_dcg_terminal_variables.pl
|
109 B |
|
logtalk_dcg_terminals.pl
|
167 B |
|
logtalk_dcg_variable_bodies.pl
|
177 B |
|
logtalk_findall.pl
|
44 B |
|
logtalk_number_chars.pl
|
41 B |
|
logtalk_number_codes.pl
|
45 B |
|
logtalk_occurs_check.pl
|
30 B |
|
logtalk_once.pl
|
22 B |
|
logtalk_operators.pl
|
34 B |
|
logtalk_prolog_flags.pl
|
52 B |
|
logtalk_repeat.pl
|
13 B |
|
logtalk_retract.pl
|
35 B |
|
logtalk_setof.pl
|
36 B |
|
logtalk_sub_atom.pl
|
55 B |
|
logtalk_term_comparison.pl
|
23 B |
|
logtalk_term_variables.pl
|
177 B |
|
logtalk_univ.pl
|
63 B |
|
negation_success.pl
|
8 B |
|
nonidentity_distinct_variables.pl
|
8 B |
|
nonunifiable_compounds.pl
|
8 B |
|
number_chars_integer.pl
|
8 B |
|
number_chars_minus_line_comment.pl
|
22 B |
|
number_codes_decimal.pl
|
8 B |
|
occurs_check_rejects_cycle.pl
|
8 B |
|
once_commits_first.pl
|
8 B |
|
operator_atoms_as_arguments.pl
|
102 B |
|
operators.pl
|
250 B |
|
part3_grammar_body_constructs.pl
|
352 B |
|
part3_phrase_examples.pl
|
274 B |
|
public_procedure_access.pl
|
229 B |
|
remaining_builtins_and_directives.pl
|
88 B |
|
scryer_backslash_atom.pl
|
19 B |
|
scryer_bare_exponent_lexing.pl
|
28 B |
|
scryer_bracket_and_curly_term_parsing.pl
|
54 B |
|
scryer_call_zero_arity.pl
|
55 B |
|
scryer_current_predicate_after_existence_error.pl
|
54 B |
|
scryer_current_prolog_flag_shared_var.pl
|
39 B |
|
scryer_default_prefix_operator_priorities.pl
|
46 B |
|
scryer_dollar_sign_atoms.pl
|
27 B |
|
scryer_empty_list_atom_functor.pl
|
28 B |
|
scryer_exponent_minus_lexing.pl
|
43 B |
|
scryer_large_float_exponent.pl
|
32 B |
|
scryer_lexical_terms.pl
|
112 B |
|
scryer_line_continuation_in_quoted_atoms.pl
|
49 B |
|
scryer_lower_priority_prefix_with_infix.pl
|
45 B |
|
scryer_mixed_prefix_infix_operator_priority.pl
|
40 B |
|
scryer_op_bar_prefix_permission.pl
|
67 B |
|
scryer_op_error_conditions.pl
|
425 B |
|
scryer_op_name_list_unbound_element.pl
|
51 B |
|
scryer_op_name_type_error.pl
|
53 B |
|
scryer_op_specifier_type_error.pl
|
47 B |
|
scryer_op_wrong_arity_existence_error.pl
|
68 B |
|
scryer_operator_application_vs_functor_notation.pl
|
54 B |
|
scryer_operator_precedence.pl
|
70 B |
|
scryer_postfix_operator_negative_number.pl
|
44 B |
|
scryer_prefix_minus_chain.pl
|
31 B |
|
scryer_quote_and_char_code_literals.pl
|
55 B |
|
scryer_special_atom_names.pl
|
29 B |
|
scryer_subnormal_float_underflow.pl
|
37 B |
|
scryer_unary_plus_compound.pl
|
41 B |
|
scryer_user_operator_with_prefix_minus.pl
|
66 B |
|
streams_and_term_io.pl
|
228 B |
|
sub_atom_empty.pl
|
8 B |
|
sub_atom_prefix.pl
|
8 B |
|
sub_atom_suffix.pl
|
8 B |
|
swipl_call_n_builds_control_construct.pl
|
48 B |
|
swipl_catch_partial_unification_rethrow.pl
|
38 B |
|
swipl_keysort_remaining_errors.pl
|
106 B |
|
swipl_length_errors.pl
|
103 B |
|
swipl_memberchk_binding_retention.pl
|
32 B |
|
swipl_occurs_check.pl
|
24 B |
|
swipl_operator_syntax.pl
|
135 B |
|
swipl_operator_table_self_named.pl
|
99 B |
|
swipl_sort_partial_list_errors.pl
|
74 B |
|
swipl_write_canonical_var_and_curly.pl
|
67 B |
|
term_modes_and_ordering.pl
|
153 B |
|
term_order_atom_less.pl
|
8 B |
|
term_order_equal_greater_or_equal.pl
|
8 B |
|
term_order_equal_less_or_equal.pl
|
8 B |
|
term_order_number_greater.pl
|
8 B |
|
throw_copies_ball.pl
|
35 B |
|
trealla_append_modes.pl
|
153 B |
|
trealla_arithmetic_constants.pl
|
48 B |
|
trealla_atom_codes_unicode.pl
|
57 B |
|
trealla_atom_enumeration.pl
|
222 B |
|
trealla_bagof_multi_free_variables.pl
|
259 B |
|
trealla_bagof_setof_duplicate_handling.pl
|
53 B |
|
trealla_bignum_arithmetic.pl
|
302 B |
|
trealla_call_missing_extended_arity.pl
|
70 B |
|
trealla_call_transparent_to_disjunction.pl
|
37 B |
|
trealla_clause_enumeration_backtracking.pl
|
75 B |
|
trealla_compare_standard_order.pl
|
28 B |
|
trealla_copy_term_binding_direction.pl
|
33 B |
|
trealla_copy_term_bound_list_tail.pl
|
37 B |
|
trealla_curly_and_colon_syntax_equivalence.pl
|
65 B |
|
trealla_curly_braces_as_predicate.pl
|
31 B |
|
trealla_dif_unification_shared_var.pl
|
32 B |
|
trealla_disjunction_commit_and_fallthrough.pl
|
40 B |
|
trealla_findall_bagof_grouping.pl
|
48 B |
|
trealla_findall_solution_independence.pl
|
46 B |
|
trealla_float_literal_representation_error.pl
|
129 B |
|
trealla_float_parts_extremes.pl
|
130 B |
|
trealla_forall_arithmetic_facts.pl
|
29 B |
|
trealla_forall_double_negation.pl
|
72 B |
|
trealla_functor_arg_partial_term.pl
|
69 B |
|
trealla_ground_progressive_backtracking.pl
|
37 B |
|
trealla_if_then_else_backtracking.pl
|
143 B |
|
trealla_if_then_noncallable_then.pl
|
68 B |
|
trealla_logical_update_view.pl
|
42 B |
|
trealla_mod_sign_rules.pl
|
93 B |
|
trealla_negation_eager_callability.pl
|
133 B |
|
trealla_number_chars_skips_comments.pl
|
36 B |
|
trealla_number_chars_syntax_error.pl
|
49 B |
|
trealla_number_codes_char_literal.pl
|
31 B |
|
trealla_occurs_check_rational_tree_subtleties.pl
|
43 B |
|
trealla_occurs_check_reverse_order.pl
|
32 B |
|
trealla_once_inside_findall_template.pl
|
39 B |
|
trealla_quoted_atom_line_continuation.pl
|
42 B |
|
trealla_retract_backtracking.pl
|
34 B |
|
trealla_shared_argument_aliasing.pl
|
32 B |
|
trealla_shared_variable_unification.pl
|
359 B |
|
trealla_sort_duplicates_and_empty.pl
|
47 B |
|
trealla_sub_atom_modes.pl
|
623 B |
|
trealla_term_shapes.pl
|
17 B |
|
trealla_term_variables_partial_list_error.pl
|
44 B |
|
trealla_unicode_length_agreement.pl
|
29 B |
|
trealla_variable_aliasing_across_calls.pl
|
36 B |
|
trealla_variable_goal_normalization.pl
|
45 B |
|
trealla_write_associative_operators.pl
|
73 B |
|
trealla_write_canonical_operators.pl
|
182 B |
|
trealla_write_term_duplicate_variable_names.pl
|
42 B |
|
trealla_write_term_ignore_ops_quoted_independence.pl
|
87 B |
|
trealla_write_term_variable_names_malformed.pl
|
96 B |
|
type_atom_success.pl
|
8 B |
|
type_atomic_atom_success.pl
|
8 B |
|
type_atomic_number_success.pl
|
8 B |
|
type_callable_atom_success.pl
|
8 B |
|
type_callable_compound_success.pl
|
8 B |
|
type_compound_success.pl
|
8 B |
|
type_float_success.pl
|
8 B |
|
type_ground_success.pl
|
8 B |
|
type_integer_success.pl
|
8 B |
|
type_nonvar_success.pl
|
8 B |
|
type_number_float_success.pl
|
8 B |
|
type_number_integer_success.pl
|
8 B |
|
type_var_success.pl
|
8 B |
|
unification_control_information.pl
|
35 B |
|
univ_construct_compound.pl
|
8 B |
|
univ_construct_number.pl
|
8 B |
|
univ_decompose_atom.pl
|
8 B |
|
univ_decompose_compound.pl
|
8 B |
|
wg17_syntax_high_risk.pl
|
320 B |