| ... |
|
abolish_private_builtin.pl
|
46 B |
|
arg_atom.pl
|
62 B |
|
arg_negative_index.pl
|
57 B |
|
arg_unbound_index.pl
|
60 B |
|
arg_unbound_term.pl
|
50 B |
|
arithmetic_float_overflow.pl
|
48 B |
|
asserta_unbound.pl
|
46 B |
|
assertz_bad_body.pl
|
55 B |
|
atom_chars_bad_character.pl
|
53 B |
|
atom_chars_both_unbound.pl
|
54 B |
|
atom_concat_underinstantiated.pl
|
62 B |
|
atom_length_negative.pl
|
52 B |
|
atom_length_nonatom.pl
|
54 B |
|
atom_length_unbound.pl
|
51 B |
|
bagof_unbound_goal.pl
|
53 B |
|
bitwise_float.pl
|
40 B |
|
catch_unbound_goal.pl
|
58 B |
|
char_code_bad_code.pl
|
50 B |
|
char_code_both_unbound.pl
|
52 B |
|
clause_private_builtin.pl
|
56 B |
|
clause_static_user_procedure.pl
|
435 B |
|
clause_unbound_head.pl
|
49 B |
|
closed_stream_access.pl
|
133 B |
|
consult_redefines_builtin.pl
|
475 B |
|
corrigenda_atan2_zero.pl
|
45 B |
|
corrigenda_integer_negative_power.pl
|
40 B |
|
corrigenda_keysort_pair_type.pl
|
44 B |
|
corrigenda_op_bar_priority.pl
|
47 B |
|
corrigenda_op_empty_list.pl
|
45 B |
|
corrigenda_op_infix_postfix_conflict.pl
|
76 B |
|
corrigenda_open_uninstantiation.pl
|
80 B |
|
corrigenda_retractall_static.pl
|
59 B |
|
corrigenda_sort_output_type.pl
|
49 B |
|
corrigenda_sort_partial.pl
|
43 B |
|
corrigendum3_close_option_component_variable.pl
|
58 B |
|
corrigendum3_open_option_variable.pl
|
74 B |
|
corrigendum3_write_option_variable.pl
|
47 B |
|
current_predicate_bad_indicator.pl
|
51 B |
|
current_prolog_flag_unknown.pl
|
69 B |
|
dcg_call_noncallable.pl
|
88 B |
|
dcg_call_variable.pl
|
132 B |
|
dcg_nonatom_qualified_module.pl
|
84 B |
|
dcg_partial_semicontext.pl
|
107 B |
|
dcg_phrase_bad_input.pl
|
43 B |
|
dcg_phrase_bad_output.pl
|
47 B |
|
dcg_phrase_noncallable.pl
|
22 B |
|
dcg_phrase_nonterminal_variable.pl
|
130 B |
|
dcg_phrase_variable.pl
|
24 B |
|
dcg_qualified_unknown_nonterminal.pl
|
182 B |
|
dcg_variable_qualified_module.pl
|
95 B |
|
dcg_variable_rule_body.pl
|
95 B |
|
dcg_variable_rule_head.pl
|
92 B |
|
division_by_zero.pl
|
67 B |
|
false_static_procedure.pl
|
93 B |
|
float_integer_part_integer.pl
|
61 B |
|
functor_negative_arity.pl
|
51 B |
|
functor_noninteger_arity.pl
|
52 B |
|
functor_unbound.pl
|
51 B |
|
functor_unbound_name.pl
|
53 B |
|
get_byte_text_stream.pl
|
77 B |
|
halt_bad_code.pl
|
49 B |
|
log_zero.pl
|
46 B |
|
logtalk_abolish_arity_type.pl
|
141 B |
|
logtalk_abolish_bad_indicator.pl
|
135 B |
|
logtalk_abolish_name_type.pl
|
139 B |
|
logtalk_abolish_negative_arity.pl
|
144 B |
|
logtalk_abolish_unbound.pl
|
137 B |
|
logtalk_abolish_unbound_arity.pl
|
137 B |
|
logtalk_arg_index_type.pl
|
143 B |
|
logtalk_arg_number.pl
|
131 B |
|
logtalk_asserta_bad_body.pl
|
142 B |
|
logtalk_asserta_noncallable.pl
|
133 B |
|
logtalk_assertz_noncallable.pl
|
133 B |
|
logtalk_atom_chars_atom_type.pl
|
149 B |
|
logtalk_atom_chars_character_type.pl
|
154 B |
|
logtalk_atom_chars_improper.pl
|
166 B |
|
logtalk_atom_chars_list_type.pl
|
148 B |
|
logtalk_atom_chars_unbound.pl
|
142 B |
|
logtalk_atom_codes_atom_type.pl
|
149 B |
|
logtalk_atom_codes_bad_code.pl
|
159 B |
|
logtalk_atom_codes_integer_type.pl
|
152 B |
|
logtalk_atom_codes_list_type.pl
|
148 B |
|
logtalk_atom_codes_unbound.pl
|
142 B |
|
logtalk_atom_concat_left_type.pl
|
156 B |
|
logtalk_atom_concat_right_type.pl
|
156 B |
|
logtalk_atom_concat_unbound.pl
|
151 B |
|
logtalk_atom_concat_whole_type.pl
|
154 B |
|
logtalk_atom_length_atom_type.pl
|
147 B |
|
logtalk_atom_length_integer_type.pl
|
149 B |
|
logtalk_atom_length_negative.pl
|
152 B |
|
logtalk_atom_length_unbound.pl
|
144 B |
|
logtalk_bagof_improper.pl
|
158 B |
|
logtalk_bagof_nonlist.pl
|
153 B |
|
logtalk_char_code_character_type.pl
|
141 B |
|
logtalk_char_code_integer_type.pl
|
144 B |
|
logtalk_char_code_negative.pl
|
145 B |
|
logtalk_char_code_number_character.pl
|
141 B |
|
logtalk_char_code_unbound.pl
|
140 B |
|
logtalk_clause_noncallable_body.pl
|
164 B |
|
logtalk_clause_noncallable_head.pl
|
134 B |
|
logtalk_compare_order_domain.pl
|
144 B |
|
logtalk_compare_order_type.pl
|
143 B |
|
logtalk_current_flag_compound.pl
|
169 B |
|
logtalk_current_flag_name_type.pl
|
160 B |
|
logtalk_current_flag_unknown.pl
|
170 B |
|
logtalk_current_input_bad_stream.pl
|
148 B |
|
logtalk_current_op_bad_specifier.pl
|
148 B |
|
logtalk_current_op_high_priority.pl
|
149 B |
|
logtalk_current_output_bad_stream.pl
|
150 B |
|
logtalk_current_predicate_bad_name.pl
|
161 B |
|
logtalk_current_predicate_negative_arity.pl
|
162 B |
|
logtalk_current_predicate_scalar.pl
|
153 B |
|
logtalk_dcg_bad_input_precedence.pl
|
137 B |
|
logtalk_dcg_bad_output_precedence.pl
|
144 B |
|
logtalk_dcg_curly_head.pl
|
100 B |
|
logtalk_dcg_cut_head.pl
|
95 B |
|
logtalk_dcg_embedded_noncallable.pl
|
93 B |
|
logtalk_dcg_improper_semicontext.pl
|
88 B |
|
logtalk_dcg_improper_terminal_rule.pl
|
114 B |
|
logtalk_dcg_invalid_semicontext.pl
|
115 B |
|
logtalk_dcg_multiple_semicontexts.pl
|
90 B |
|
logtalk_dcg_nested_noncallable.pl
|
101 B |
|
logtalk_dcg_noncallable_after_failure.pl
|
108 B |
|
logtalk_dcg_noncallable_after_success.pl
|
108 B |
|
logtalk_dcg_noncallable_precedence.pl
|
119 B |
|
logtalk_dcg_numeric_head.pl
|
94 B |
|
logtalk_dcg_numeric_nonterminal.pl
|
109 B |
|
logtalk_dcg_partial_terminal_rule.pl
|
134 B |
|
logtalk_dcg_phrase_curly_variable.pl
|
96 B |
|
logtalk_dcg_phrase_improper_input.pl
|
102 B |
|
logtalk_dcg_phrase_improper_output.pl
|
103 B |
|
logtalk_dcg_reversed_semicontext.pl
|
83 B |
|
logtalk_dcg_terminal_head.pl
|
114 B |
|
logtalk_dcg_unknown_nonterminal.pl
|
99 B |
|
logtalk_findall_improper.pl
|
150 B |
|
logtalk_findall_nonlist.pl
|
157 B |
|
logtalk_functor_arity_type.pl
|
141 B |
|
logtalk_functor_compound_name.pl
|
144 B |
|
logtalk_functor_float_name.pl
|
141 B |
|
logtalk_number_chars_character_type.pl
|
157 B |
|
logtalk_number_chars_list_type.pl
|
150 B |
|
logtalk_number_chars_number_type.pl
|
150 B |
|
logtalk_number_chars_partial.pl
|
153 B |
|
logtalk_number_chars_syntax.pl
|
149 B |
|
logtalk_number_chars_unbound.pl
|
150 B |
|
logtalk_number_codes_bad_code.pl
|
157 B |
|
logtalk_number_codes_list_type.pl
|
150 B |
|
logtalk_number_codes_number_type.pl
|
150 B |
|
logtalk_number_codes_partial.pl
|
154 B |
|
logtalk_number_codes_syntax.pl
|
150 B |
|
logtalk_number_codes_unbound.pl
|
150 B |
|
logtalk_once_noncallable.pl
|
131 B |
|
logtalk_once_unbound.pl
|
131 B |
|
logtalk_op_bad_specifier.pl
|
135 B |
|
logtalk_op_high_priority.pl
|
137 B |
|
logtalk_op_negative_priority.pl
|
136 B |
|
logtalk_op_priority_type.pl
|
136 B |
|
logtalk_op_unbound_name.pl
|
134 B |
|
logtalk_op_unbound_priority.pl
|
135 B |
|
logtalk_op_unbound_specifier.pl
|
133 B |
|
logtalk_retract_unbound.pl
|
133 B |
|
logtalk_retract_unbound_head.pl
|
148 B |
|
logtalk_set_flag_name_type.pl
|
159 B |
|
logtalk_set_flag_unbound_name.pl
|
154 B |
|
logtalk_set_flag_unbound_value.pl
|
158 B |
|
logtalk_set_flag_unknown.pl
|
165 B |
|
logtalk_set_flag_value.pl
|
160 B |
|
logtalk_setof_nonlist.pl
|
158 B |
|
logtalk_sub_atom_before_type.pl
|
158 B |
|
logtalk_sub_atom_negative.pl
|
156 B |
|
logtalk_sub_atom_result_type.pl
|
158 B |
|
logtalk_sub_atom_source_type.pl
|
154 B |
|
logtalk_sub_atom_unbound.pl
|
151 B |
|
logtalk_term_variables_improper.pl
|
159 B |
|
logtalk_term_variables_nonlist.pl
|
156 B |
|
logtalk_univ_head_compound.pl
|
135 B |
|
logtalk_univ_head_float.pl
|
136 B |
|
logtalk_univ_head_integer.pl
|
132 B |
|
logtalk_univ_single_compound.pl
|
133 B |
|
mod_float.pl
|
49 B |
|
number_chars_parenthesized.pl
|
84 B |
|
number_codes_bad_syntax.pl
|
65 B |
|
number_codes_both_unbound.pl
|
58 B |
|
number_codes_parenthesized.pl
|
78 B |
|
once_unbound.pl
|
41 B |
|
op_bad_priority.pl
|
47 B |
|
op_bad_specifier.pl
|
51 B |
|
op_modify_comma.pl
|
46 B |
|
open_bad_mode.pl
|
81 B |
|
retract_static_procedure.pl
|
67 B |
|
scryer_adjacent_compound.pl
|
112 B |
|
scryer_empty_curly.pl
|
108 B |
|
scryer_invalid_list_tail.pl
|
118 B |
|
scryer_missing_list_tail.pl
|
121 B |
|
scryer_uppercase_binary_prefix.pl
|
113 B |
|
set_prolog_flag_fixed.pl
|
62 B |
|
set_prolog_flag_invalid_value.pl
|
60 B |
|
setof_bad_instances.pl
|
78 B |
|
sqrt_negative.pl
|
53 B |
|
sub_atom_negative_length.pl
|
59 B |
|
sub_atom_unbound_source.pl
|
63 B |
|
swipl_current_op_bad_specifier.pl
|
130 B |
|
swipl_current_op_float_priority.pl
|
130 B |
|
swipl_current_op_name_type.pl
|
128 B |
|
swipl_current_op_priority_type.pl
|
128 B |
|
swipl_current_op_specifier_type.pl
|
128 B |
|
swipl_operator_clash_syntax_error.pl
|
272 B |
|
throw_unbound.pl
|
42 B |
|
univ_improper_list.pl
|
62 B |
|
univ_non_list_tail.pl
|
98 B |
|
univ_partial_list.pl
|
52 B |
|
unknown_default_error.pl
|
30 B |
|
unterminated_block_comment.pl
|
38 B |
|
wg17_bad_character_code_escape.pl
|
17 B |
|
wg17_invalid_octal_escape.pl
|
7 B |
|
wg17_literal_newline_in_quote.pl
|
13 B |
|
wg17_literal_tab_in_quote.pl
|
13 B |
|
wg17_non_iso_escape.pl
|
14 B |
|
wg17_non_iso_unicode_escape.pl
|
18 B |
|
wg17_unterminated_quoted_token.pl
|
2 B |