| ... |
|
abolish_private_builtin.pl
|
48 B |
|
arg_atom.pl
|
64 B |
|
arg_negative_index.pl
|
59 B |
|
arg_unbound_index.pl
|
62 B |
|
arg_unbound_term.pl
|
52 B |
|
asserta_unbound.pl
|
48 B |
|
assertz_bad_body.pl
|
57 B |
|
atom_chars_bad_character.pl
|
55 B |
|
atom_chars_both_unbound.pl
|
56 B |
|
atom_concat_underinstantiated.pl
|
64 B |
|
atom_length_negative.pl
|
54 B |
|
atom_length_nonatom.pl
|
56 B |
|
atom_length_unbound.pl
|
53 B |
|
bagof_unbound_goal.pl
|
55 B |
|
bitwise_float.pl
|
42 B |
|
catch_unbound_goal.pl
|
56 B |
|
char_code_bad_code.pl
|
52 B |
|
char_code_both_unbound.pl
|
54 B |
|
clause_private_builtin.pl
|
58 B |
|
clause_unbound_head.pl
|
51 B |
|
closed_stream_access.pl
|
131 B |
|
current_predicate_bad_indicator.pl
|
53 B |
|
current_prolog_flag_unknown.pl
|
71 B |
|
division_by_zero.pl
|
69 B |
|
false_static_procedure.pl
|
93 B |
|
float_integer_part_integer.pl
|
63 B |
|
functor_negative_arity.pl
|
53 B |
|
functor_noninteger_arity.pl
|
54 B |
|
functor_unbound.pl
|
53 B |
|
functor_unbound_name.pl
|
55 B |
|
get_byte_text_stream.pl
|
79 B |
|
halt_bad_code.pl
|
51 B |
|
log_zero.pl
|
48 B |
|
logtalk_abolish_arity_type.pl
|
139 B |
|
logtalk_abolish_bad_indicator.pl
|
133 B |
|
logtalk_abolish_name_type.pl
|
137 B |
|
logtalk_abolish_negative_arity.pl
|
142 B |
|
logtalk_abolish_unbound.pl
|
135 B |
|
logtalk_abolish_unbound_arity.pl
|
135 B |
|
logtalk_arg_index_type.pl
|
141 B |
|
logtalk_arg_number.pl
|
129 B |
|
logtalk_asserta_bad_body.pl
|
140 B |
|
logtalk_asserta_noncallable.pl
|
131 B |
|
logtalk_assertz_noncallable.pl
|
131 B |
|
logtalk_atom_chars_atom_type.pl
|
147 B |
|
logtalk_atom_chars_character_type.pl
|
152 B |
|
logtalk_atom_chars_improper.pl
|
164 B |
|
logtalk_atom_chars_list_type.pl
|
146 B |
|
logtalk_atom_chars_unbound.pl
|
140 B |
|
logtalk_atom_codes_atom_type.pl
|
147 B |
|
logtalk_atom_codes_bad_code.pl
|
157 B |
|
logtalk_atom_codes_integer_type.pl
|
150 B |
|
logtalk_atom_codes_list_type.pl
|
146 B |
|
logtalk_atom_codes_unbound.pl
|
140 B |
|
logtalk_atom_concat_left_type.pl
|
154 B |
|
logtalk_atom_concat_right_type.pl
|
154 B |
|
logtalk_atom_concat_unbound.pl
|
149 B |
|
logtalk_atom_concat_whole_type.pl
|
152 B |
|
logtalk_atom_length_atom_type.pl
|
145 B |
|
logtalk_atom_length_integer_type.pl
|
147 B |
|
logtalk_atom_length_negative.pl
|
150 B |
|
logtalk_atom_length_unbound.pl
|
142 B |
|
logtalk_bagof_improper.pl
|
156 B |
|
logtalk_bagof_nonlist.pl
|
151 B |
|
logtalk_char_code_character_type.pl
|
139 B |
|
logtalk_char_code_integer_type.pl
|
142 B |
|
logtalk_char_code_negative.pl
|
143 B |
|
logtalk_char_code_number_character.pl
|
139 B |
|
logtalk_char_code_unbound.pl
|
138 B |
|
logtalk_clause_noncallable_body.pl
|
162 B |
|
logtalk_clause_noncallable_head.pl
|
132 B |
|
logtalk_compare_order_domain.pl
|
142 B |
|
logtalk_compare_order_type.pl
|
141 B |
|
logtalk_current_flag_compound.pl
|
167 B |
|
logtalk_current_flag_name_type.pl
|
158 B |
|
logtalk_current_flag_unknown.pl
|
168 B |
|
logtalk_current_input_bad_stream.pl
|
146 B |
|
logtalk_current_op_bad_specifier.pl
|
146 B |
|
logtalk_current_op_high_priority.pl
|
147 B |
|
logtalk_current_output_bad_stream.pl
|
148 B |
|
logtalk_current_predicate_bad_name.pl
|
159 B |
|
logtalk_current_predicate_negative_arity.pl
|
160 B |
|
logtalk_current_predicate_scalar.pl
|
151 B |
|
logtalk_findall_improper.pl
|
148 B |
|
logtalk_findall_nonlist.pl
|
155 B |
|
logtalk_functor_arity_type.pl
|
139 B |
|
logtalk_functor_compound_name.pl
|
142 B |
|
logtalk_functor_float_name.pl
|
139 B |
|
logtalk_number_chars_character_type.pl
|
155 B |
|
logtalk_number_chars_list_type.pl
|
148 B |
|
logtalk_number_chars_number_type.pl
|
148 B |
|
logtalk_number_chars_partial.pl
|
151 B |
|
logtalk_number_chars_syntax.pl
|
147 B |
|
logtalk_number_chars_unbound.pl
|
148 B |
|
logtalk_number_codes_bad_code.pl
|
155 B |
|
logtalk_number_codes_list_type.pl
|
148 B |
|
logtalk_number_codes_number_type.pl
|
148 B |
|
logtalk_number_codes_partial.pl
|
152 B |
|
logtalk_number_codes_syntax.pl
|
148 B |
|
logtalk_number_codes_unbound.pl
|
148 B |
|
logtalk_once_noncallable.pl
|
129 B |
|
logtalk_once_unbound.pl
|
129 B |
|
logtalk_op_bad_specifier.pl
|
133 B |
|
logtalk_op_high_priority.pl
|
135 B |
|
logtalk_op_negative_priority.pl
|
134 B |
|
logtalk_op_priority_type.pl
|
134 B |
|
logtalk_op_unbound_name.pl
|
132 B |
|
logtalk_op_unbound_priority.pl
|
133 B |
|
logtalk_op_unbound_specifier.pl
|
131 B |
|
logtalk_retract_unbound.pl
|
131 B |
|
logtalk_retract_unbound_head.pl
|
146 B |
|
logtalk_set_flag_name_type.pl
|
157 B |
|
logtalk_set_flag_unbound_name.pl
|
152 B |
|
logtalk_set_flag_unbound_value.pl
|
156 B |
|
logtalk_set_flag_unknown.pl
|
163 B |
|
logtalk_set_flag_value.pl
|
158 B |
|
logtalk_setof_nonlist.pl
|
156 B |
|
logtalk_sub_atom_before_type.pl
|
156 B |
|
logtalk_sub_atom_negative.pl
|
154 B |
|
logtalk_sub_atom_result_type.pl
|
156 B |
|
logtalk_sub_atom_source_type.pl
|
152 B |
|
logtalk_sub_atom_unbound.pl
|
149 B |
|
logtalk_term_variables_improper.pl
|
157 B |
|
logtalk_term_variables_nonlist.pl
|
154 B |
|
logtalk_univ_head_compound.pl
|
133 B |
|
logtalk_univ_head_float.pl
|
134 B |
|
logtalk_univ_head_integer.pl
|
130 B |
|
logtalk_univ_single_compound.pl
|
131 B |
|
mod_float.pl
|
51 B |
|
number_codes_bad_syntax.pl
|
67 B |
|
number_codes_both_unbound.pl
|
60 B |
|
once_unbound.pl
|
43 B |
|
op_bad_priority.pl
|
49 B |
|
op_bad_specifier.pl
|
53 B |
|
op_modify_comma.pl
|
48 B |
|
open_bad_mode.pl
|
79 B |
|
retract_static_procedure.pl
|
69 B |
|
scryer_adjacent_compound.pl
|
114 B |
|
scryer_empty_curly.pl
|
110 B |
|
scryer_invalid_list_tail.pl
|
120 B |
|
scryer_missing_list_tail.pl
|
123 B |
|
scryer_uppercase_binary_prefix.pl
|
115 B |
|
set_prolog_flag_fixed.pl
|
64 B |
|
set_prolog_flag_invalid_value.pl
|
62 B |
|
setof_bad_instances.pl
|
80 B |
|
sqrt_negative.pl
|
55 B |
|
sub_atom_negative_length.pl
|
61 B |
|
sub_atom_unbound_source.pl
|
65 B |
|
swipl_current_op_bad_specifier.pl
|
132 B |
|
swipl_current_op_float_priority.pl
|
132 B |
|
swipl_current_op_name_type.pl
|
130 B |
|
swipl_current_op_priority_type.pl
|
130 B |
|
swipl_current_op_specifier_type.pl
|
130 B |
|
throw_unbound.pl
|
44 B |
|
univ_improper_list.pl
|
64 B |
|
univ_non_list_tail.pl
|
100 B |
|
univ_partial_list.pl
|
54 B |
|
unknown_default_error.pl
|
32 B |
|
unterminated_block_comment.pl
|
40 B |