| ... |
|
abolish_private_builtin.txt
|
62 B |
|
arg_atom.txt
|
34 B |
|
arg_negative_index.txt
|
44 B |
|
arg_unbound_index.txt
|
27 B |
|
arg_unbound_term.txt
|
27 B |
|
arithmetic_float_overflow.txt
|
40 B |
|
asserta_unbound.txt
|
27 B |
|
assertz_bad_body.txt
|
31 B |
|
atom_chars_bad_character.txt
|
33 B |
|
atom_chars_both_unbound.txt
|
27 B |
|
atom_concat_underinstantiated.txt
|
27 B |
|
atom_length_negative.txt
|
44 B |
|
atom_length_nonatom.txt
|
28 B |
|
atom_length_unbound.txt
|
27 B |
|
bagof_unbound_goal.txt
|
27 B |
|
bitwise_float.txt
|
32 B |
|
catch_unbound_goal.txt
|
27 B |
|
char_code_bad_code.txt
|
44 B |
|
char_code_both_unbound.txt
|
27 B |
|
clause_private_builtin.txt
|
63 B |
|
clause_static_user_procedure.txt
|
62 B |
|
clause_unbound_head.txt
|
27 B |
|
closed_stream_access.txt
|
45 B |
|
consult_redefines_builtin.txt
|
64 B |
|
corrigenda_atan2_zero.txt
|
35 B |
|
corrigenda_integer_negative_power.txt
|
28 B |
|
corrigenda_keysort_pair_type.txt
|
27 B |
|
corrigenda_op_bar_priority.txt
|
47 B |
|
corrigenda_op_empty_list.txt
|
46 B |
|
corrigenda_op_infix_postfix_conflict.txt
|
49 B |
|
corrigenda_open_uninstantiation.txt
|
51 B |
|
corrigenda_retractall_static.txt
|
63 B |
|
corrigenda_sort_output_type.txt
|
36 B |
|
corrigenda_sort_partial.txt
|
27 B |
|
corrigendum3_close_option_component_variable.txt
|
27 B |
|
corrigendum3_open_option_variable.txt
|
27 B |
|
corrigendum3_write_option_variable.txt
|
27 B |
|
current_predicate_bad_indicator.txt
|
42 B |
|
current_prolog_flag_unknown.txt
|
45 B |
|
dcg_call_noncallable.txt
|
31 B |
|
dcg_call_variable.txt
|
27 B |
|
dcg_nonatom_qualified_module.txt
|
27 B |
|
dcg_partial_semicontext.txt
|
27 B |
|
dcg_phrase_bad_input.txt
|
49 B |
|
dcg_phrase_bad_output.txt
|
49 B |
|
dcg_phrase_noncallable.txt
|
32 B |
|
dcg_phrase_nonterminal_variable.txt
|
27 B |
|
dcg_phrase_variable.txt
|
27 B |
|
dcg_qualified_unknown_nonterminal.txt
|
48 B |
|
dcg_variable_qualified_module.txt
|
27 B |
|
dcg_variable_rule_body.txt
|
27 B |
|
dcg_variable_rule_head.txt
|
27 B |
|
division_by_zero.txt
|
38 B |
|
false_static_procedure.txt
|
63 B |
|
float_integer_part_integer.txt
|
28 B |
|
functor_negative_arity.txt
|
44 B |
|
functor_noninteger_arity.txt
|
32 B |
|
functor_unbound.txt
|
27 B |
|
functor_unbound_name.txt
|
27 B |
|
get_byte_text_stream.txt
|
58 B |
|
halt_bad_code.txt
|
43 B |
|
log_zero.txt
|
35 B |
|
logtalk_abolish_arity_type.txt
|
30 B |
|
logtalk_abolish_bad_indicator.txt
|
44 B |
|
logtalk_abolish_name_type.txt
|
27 B |
|
logtalk_abolish_negative_arity.txt
|
44 B |
|
logtalk_abolish_unbound.txt
|
27 B |
|
logtalk_abolish_unbound_arity.txt
|
27 B |
|
logtalk_arg_index_type.txt
|
30 B |
|
logtalk_arg_number.txt
|
31 B |
|
logtalk_asserta_bad_body.txt
|
31 B |
|
logtalk_asserta_noncallable.txt
|
31 B |
|
logtalk_assertz_noncallable.txt
|
31 B |
|
logtalk_atom_chars_atom_type.txt
|
30 B |
|
logtalk_atom_chars_character_type.txt
|
35 B |
|
logtalk_atom_chars_improper.txt
|
47 B |
|
logtalk_atom_chars_list_type.txt
|
29 B |
|
logtalk_atom_chars_unbound.txt
|
27 B |
|
logtalk_atom_codes_atom_type.txt
|
30 B |
|
logtalk_atom_codes_bad_code.txt
|
44 B |
|
logtalk_atom_codes_integer_type.txt
|
30 B |
|
logtalk_atom_codes_list_type.txt
|
29 B |
|
logtalk_atom_codes_unbound.txt
|
27 B |
|
logtalk_atom_concat_left_type.txt
|
30 B |
|
logtalk_atom_concat_right_type.txt
|
30 B |
|
logtalk_atom_concat_unbound.txt
|
27 B |
|
logtalk_atom_concat_whole_type.txt
|
30 B |
|
logtalk_atom_length_atom_type.txt
|
30 B |
|
logtalk_atom_length_integer_type.txt
|
32 B |
|
logtalk_atom_length_negative.txt
|
44 B |
|
logtalk_atom_length_unbound.txt
|
27 B |
|
logtalk_bagof_improper.txt
|
33 B |
|
logtalk_bagof_nonlist.txt
|
28 B |
|
logtalk_char_code_character_type.txt
|
33 B |
|
logtalk_char_code_integer_type.txt
|
30 B |
|
logtalk_char_code_negative.txt
|
44 B |
|
logtalk_char_code_number_character.txt
|
33 B |
|
logtalk_char_code_unbound.txt
|
27 B |
|
logtalk_clause_noncallable_body.txt
|
31 B |
|
logtalk_clause_noncallable_head.txt
|
31 B |
|
logtalk_compare_order_domain.txt
|
31 B |
|
logtalk_compare_order_type.txt
|
35 B |
|
logtalk_current_flag_compound.txt
|
35 B |
|
logtalk_current_flag_name_type.txt
|
27 B |
|
logtalk_current_flag_unknown.txt
|
42 B |
|
logtalk_current_input_bad_stream.txt
|
33 B |
|
logtalk_current_op_bad_specifier.txt
|
45 B |
|
logtalk_current_op_high_priority.txt
|
45 B |
|
logtalk_current_output_bad_stream.txt
|
33 B |
|
logtalk_current_predicate_bad_name.txt
|
50 B |
|
logtalk_current_predicate_negative_arity.txt
|
49 B |
|
logtalk_current_predicate_scalar.txt
|
42 B |
|
logtalk_dcg_bad_input_precedence.txt
|
49 B |
|
logtalk_dcg_bad_output_precedence.txt
|
49 B |
|
logtalk_dcg_curly_head.txt
|
54 B |
|
logtalk_dcg_cut_head.txt
|
49 B |
|
logtalk_dcg_embedded_noncallable.txt
|
44 B |
|
logtalk_dcg_improper_semicontext.txt
|
33 B |
|
logtalk_dcg_improper_terminal_rule.txt
|
33 B |
|
logtalk_dcg_invalid_semicontext.txt
|
27 B |
|
logtalk_dcg_multiple_semicontexts.txt
|
32 B |
|
logtalk_dcg_nested_noncallable.txt
|
51 B |
|
logtalk_dcg_noncallable_after_failure.txt
|
45 B |
|
logtalk_dcg_noncallable_after_success.txt
|
51 B |
|
logtalk_dcg_noncallable_precedence.txt
|
31 B |
|
logtalk_dcg_numeric_head.txt
|
31 B |
|
logtalk_dcg_numeric_nonterminal.txt
|
31 B |
|
logtalk_dcg_partial_terminal_rule.txt
|
27 B |
|
logtalk_dcg_phrase_curly_variable.txt
|
27 B |
|
logtalk_dcg_phrase_improper_input.txt
|
33 B |
|
logtalk_dcg_phrase_improper_output.txt
|
33 B |
|
logtalk_dcg_reversed_semicontext.txt
|
51 B |
|
logtalk_dcg_terminal_head.txt
|
51 B |
|
logtalk_dcg_unknown_nonterminal.txt
|
45 B |
|
logtalk_findall_improper.txt
|
39 B |
|
logtalk_findall_nonlist.txt
|
28 B |
|
logtalk_functor_arity_type.txt
|
30 B |
|
logtalk_functor_compound_name.txt
|
34 B |
|
logtalk_functor_float_name.txt
|
29 B |
|
logtalk_number_chars_character_type.txt
|
32 B |
|
logtalk_number_chars_list_type.txt
|
27 B |
|
logtalk_number_chars_number_type.txt
|
29 B |
|
logtalk_number_chars_partial.txt
|
27 B |
|
logtalk_number_chars_syntax.txt
|
28 B |
|
logtalk_number_chars_unbound.txt
|
27 B |
|
logtalk_number_codes_bad_code.txt
|
44 B |
|
logtalk_number_codes_list_type.txt
|
27 B |
|
logtalk_number_codes_number_type.txt
|
29 B |
|
logtalk_number_codes_partial.txt
|
27 B |
|
logtalk_number_codes_syntax.txt
|
28 B |
|
logtalk_number_codes_unbound.txt
|
27 B |
|
logtalk_once_noncallable.txt
|
31 B |
|
logtalk_once_unbound.txt
|
27 B |
|
logtalk_op_bad_specifier.txt
|
45 B |
|
logtalk_op_high_priority.txt
|
45 B |
|
logtalk_op_negative_priority.txt
|
44 B |
|
logtalk_op_priority_type.txt
|
32 B |
|
logtalk_op_unbound_name.txt
|
27 B |
|
logtalk_op_unbound_priority.txt
|
27 B |
|
logtalk_op_unbound_specifier.txt
|
27 B |
|
logtalk_retract_unbound.txt
|
27 B |
|
logtalk_retract_unbound_head.txt
|
27 B |
|
logtalk_set_flag_name_type.txt
|
27 B |
|
logtalk_set_flag_unbound_name.txt
|
27 B |
|
logtalk_set_flag_unbound_value.txt
|
27 B |
|
logtalk_set_flag_unknown.txt
|
39 B |
|
logtalk_set_flag_value.txt
|
51 B |
|
logtalk_setof_nonlist.txt
|
28 B |
|
logtalk_sub_atom_before_type.txt
|
30 B |
|
logtalk_sub_atom_negative.txt
|
44 B |
|
logtalk_sub_atom_result_type.txt
|
27 B |
|
logtalk_sub_atom_source_type.txt
|
30 B |
|
logtalk_sub_atom_unbound.txt
|
27 B |
|
logtalk_term_variables_improper.txt
|
48 B |
|
logtalk_term_variables_nonlist.txt
|
27 B |
|
logtalk_univ_head_compound.txt
|
30 B |
|
logtalk_univ_head_float.txt
|
29 B |
|
logtalk_univ_head_integer.txt
|
27 B |
|
logtalk_univ_single_compound.txt
|
32 B |
|
mod_float.txt
|
32 B |
|
number_chars_parenthesized.txt
|
28 B |
|
number_codes_bad_syntax.txt
|
28 B |
|
number_codes_both_unbound.txt
|
27 B |
|
number_codes_parenthesized.txt
|
28 B |
|
once_unbound.txt
|
27 B |
|
op_bad_priority.txt
|
45 B |
|
op_bad_specifier.txt
|
50 B |
|
op_modify_comma.txt
|
47 B |
|
open_bad_mode.txt
|
39 B |
|
retract_static_procedure.txt
|
63 B |
|
scryer_adjacent_compound.txt
|
32 B |
|
scryer_empty_curly.txt
|
23 B |
|
scryer_invalid_list_tail.txt
|
32 B |
|
scryer_missing_list_tail.txt
|
23 B |
|
scryer_uppercase_binary_prefix.txt
|
33 B |
|
set_prolog_flag_fixed.txt
|
47 B |
|
set_prolog_flag_invalid_value.txt
|
51 B |
|
setof_bad_instances.txt
|
36 B |
|
sqrt_negative.txt
|
35 B |
|
sub_atom_negative_length.txt
|
44 B |
|
sub_atom_unbound_source.txt
|
27 B |
|
swipl_current_op_bad_specifier.txt
|
45 B |
|
swipl_current_op_float_priority.txt
|
44 B |
|
swipl_current_op_name_type.txt
|
27 B |
|
swipl_current_op_priority_type.txt
|
42 B |
|
swipl_current_op_specifier_type.txt
|
43 B |
|
swipl_operator_clash_syntax_error.txt
|
63 B |
|
throw_unbound.txt
|
27 B |
|
univ_improper_list.txt
|
39 B |
|
univ_non_list_tail.txt
|
45 B |
|
univ_partial_list.txt
|
27 B |
|
unknown_default_error.txt
|
63 B |
|
unterminated_block_comment.txt
|
41 B |
|
wg17_bad_character_code_escape.txt
|
34 B |
|
wg17_invalid_octal_escape.txt
|
31 B |
|
wg17_literal_newline_in_quote.txt
|
46 B |
|
wg17_literal_tab_in_quote.txt
|
46 B |
|
wg17_non_iso_escape.txt
|
34 B |
|
wg17_non_iso_unicode_escape.txt
|
34 B |
|
wg17_unterminated_quoted_token.txt
|
46 B |