| ... |
|
arg_first_success.pl
|
98 B |
|
arg_last_success.pl
|
99 B |
|
arg_out_of_range_fails.pl
|
102 B |
|
arithmetic.pl
|
162 B |
|
arithmetic_bit_and.pl
|
78 B |
|
arithmetic_bit_or.pl
|
78 B |
|
arithmetic_bit_shift.pl
|
79 B |
|
arithmetic_comparison_equal.pl
|
78 B |
|
arithmetic_comparison_not_equal.pl
|
78 B |
|
arithmetic_integer_quotient.pl
|
80 B |
|
arithmetic_remainder.pl
|
81 B |
|
arithmetic_unary_plus.pl
|
74 B |
|
arithmetic_underflow_rounds.pl
|
144 B |
|
atom_chars_forward.pl
|
93 B |
|
atom_chars_reverse.pl
|
106 B |
|
atom_codes_forward.pl
|
93 B |
|
atom_codes_reverse.pl
|
106 B |
|
atom_concat_forward.pl
|
96 B |
|
atom_concat_prefix.pl
|
113 B |
|
atom_concat_suffix.pl
|
113 B |
|
atom_length_unicode.pl
|
88 B |
|
atom_length_zero.pl
|
85 B |
|
atomic_term_processing.pl
|
613 B |
|
bitwise_complement.pl
|
56 B |
|
call_success.pl
|
85 B |
|
catch_recovers.pl
|
97 B |
|
char_code_forward.pl
|
83 B |
|
char_code_reverse.pl
|
100 B |
|
clause_body_conversion.pl
|
1.25 KB |
|
clause_static_and_dynamic_access.pl
|
691 B |
|
compare_equal_result.pl
|
91 B |
|
compare_greater_result.pl
|
85 B |
|
compare_less_result.pl
|
85 B |
|
control_and_terms.pl
|
185 B |
|
copy_term_fresh_variables.pl
|
132 B |
|
core_predicates.pl
|
254 B |
|
corrigenda_arithmetic.pl
|
487 B |
|
corrigenda_bar_operator.pl
|
241 B |
|
corrigenda_call_closure.pl
|
304 B |
|
corrigenda_catch_callability.pl
|
295 B |
|
corrigenda_retractall.pl
|
325 B |
|
corrigenda_sort_keysort.pl
|
433 B |
|
corrigenda_term_predicates.pl
|
348 B |
|
corrigendum1_double_quote_operator.pl
|
302 B |
|
corrigendum3_write_variable_names.pl
|
278 B |
|
cut_control.pl
|
1.41 KB |
|
cut_disjunction_scope.pl
|
150 B |
|
dcg_ambiguous_alternatives.pl
|
230 B |
|
dcg_call_phrase_semicontext.pl
|
342 B |
|
dcg_control_constructs.pl
|
344 B |
|
dcg_declaration_nonterminal_indicators.pl
|
170 B |
|
dcg_double_quotes_atom.pl
|
193 B |
|
dcg_double_quotes_codes.pl
|
154 B |
|
dcg_dynamic_body_control.pl
|
458 B |
|
dcg_dynamic_nonterminal_indicator.pl
|
224 B |
|
dcg_explicit_qualified_head.pl
|
211 B |
|
dcg_module_nonterminal_indicator.pl
|
251 B |
|
dcg_nested_phrase_call.pl
|
149 B |
|
dcg_operator_table.pl
|
219 B |
|
dcg_partial_sequences.pl
|
342 B |
|
dcg_phrase_steadfastness.pl
|
388 B |
|
dcg_qualified_chain.pl
|
342 B |
|
dcg_recursive_sequences.pl
|
256 B |
|
dcg_terminals_and_remainder.pl
|
235 B |
|
dcg_variable_hygiene.pl
|
322 B |
|
double_quoted_lists.pl
|
833 B |
|
dynamic_database.pl
|
525 B |
|
exceptions_and_flags.pl
|
953 B |
|
false_builtin.pl
|
118 B |
|
functor_construct_atom.pl
|
102 B |
|
functor_construct_compound.pl
|
115 B |
|
functor_decompose_atom.pl
|
89 B |
|
functor_decompose_compound.pl
|
95 B |
|
functor_decompose_number.pl
|
85 B |
|
grouped_solutions_and_clauses.pl
|
1.3 KB |
|
halt.pl
|
66 B |
|
identity_shared_variable.pl
|
73 B |
|
if_then_else_fallback.pl
|
87 B |
|
if_then_success.pl
|
81 B |
|
include_and_ensure_loaded.pl
|
265 B |
|
include_payload.inc
|
35 B |
|
lexical_and_curly_terms.pl
|
490 B |
|
logtalk_abolish.pl
|
296 B |
|
logtalk_arg_unification.pl
|
574 B |
|
logtalk_assert_order.pl
|
311 B |
|
logtalk_atom_chars.pl
|
682 B |
|
logtalk_atom_codes.pl
|
694 B |
|
logtalk_atom_concat.pl
|
694 B |
|
logtalk_atom_length.pl
|
307 B |
|
logtalk_bagof.pl
|
418 B |
|
logtalk_char_code.pl
|
293 B |
|
logtalk_clause.pl
|
412 B |
|
logtalk_compare_standard_order.pl
|
604 B |
|
logtalk_copy_term_semantics.pl
|
605 B |
|
logtalk_current_predicate.pl
|
353 B |
|
logtalk_current_streams.pl
|
379 B |
|
logtalk_dcg_conjunction_disjunction.pl
|
406 B |
|
logtalk_dcg_cut.pl
|
525 B |
|
logtalk_dcg_cut_positions.pl
|
533 B |
|
logtalk_dcg_embedded_goals.pl
|
415 B |
|
logtalk_dcg_embedded_sequences.pl
|
387 B |
|
logtalk_dcg_graphic_nonterminal.pl
|
252 B |
|
logtalk_dcg_if_then_else.pl
|
597 B |
|
logtalk_dcg_negation_positions.pl
|
487 B |
|
logtalk_dcg_nonterminals.pl
|
351 B |
|
logtalk_dcg_phrase_identity.pl
|
592 B |
|
logtalk_dcg_semicontext_variants.pl
|
446 B |
|
logtalk_dcg_semicontexts.pl
|
407 B |
|
logtalk_dcg_terminal_variables.pl
|
283 B |
|
logtalk_dcg_terminals.pl
|
432 B |
|
logtalk_dcg_variable_bodies.pl
|
368 B |
|
logtalk_findall.pl
|
515 B |
|
logtalk_number_chars.pl
|
558 B |
|
logtalk_number_codes.pl
|
550 B |
|
logtalk_occurs_check.pl
|
683 B |
|
logtalk_once.pl
|
329 B |
|
logtalk_operators.pl
|
645 B |
|
logtalk_prolog_flags.pl
|
714 B |
|
logtalk_repeat.pl
|
189 B |
|
logtalk_retract.pl
|
490 B |
|
logtalk_setof.pl
|
384 B |
|
logtalk_sub_atom.pl
|
606 B |
|
logtalk_term_comparison.pl
|
617 B |
|
logtalk_term_variables.pl
|
864 B |
|
logtalk_univ.pl
|
444 B |
|
negation_success.pl
|
74 B |
|
nonidentity_distinct_variables.pl
|
74 B |
|
nonunifiable_compounds.pl
|
79 B |
|
number_chars_integer.pl
|
101 B |
|
number_chars_minus_line_comment.pl
|
355 B |
|
number_codes_decimal.pl
|
98 B |
|
occurs_check_rejects_cycle.pl
|
102 B |
|
once_commits_first.pl
|
124 B |
|
operator_atoms_as_arguments.pl
|
371 B |
|
operators.pl
|
902 B |
|
part3_grammar_body_constructs.pl
|
1.34 KB |
|
part3_phrase_examples.pl
|
1.25 KB |
|
public_procedure_access.pl
|
1.72 KB |
|
remaining_builtins_and_directives.pl
|
954 B |
|
scryer_backslash_atom.pl
|
188 B |
|
scryer_bare_exponent_lexing.pl
|
220 B |
|
scryer_bracket_and_curly_term_parsing.pl
|
324 B |
|
scryer_call_zero_arity.pl
|
182 B |
|
scryer_current_predicate_after_existence_error.pl
|
333 B |
|
scryer_current_prolog_flag_shared_var.pl
|
230 B |
|
scryer_default_prefix_operator_priorities.pl
|
261 B |
|
scryer_dollar_sign_atoms.pl
|
233 B |
|
scryer_empty_list_atom_functor.pl
|
199 B |
|
scryer_exponent_minus_lexing.pl
|
292 B |
|
scryer_large_float_exponent.pl
|
255 B |
|
scryer_lexical_terms.pl
|
817 B |
|
scryer_line_continuation_in_quoted_atoms.pl
|
299 B |
|
scryer_lower_priority_prefix_with_infix.pl
|
276 B |
|
scryer_mixed_prefix_infix_operator_priority.pl
|
266 B |
|
scryer_op_bar_prefix_permission.pl
|
213 B |
|
scryer_op_error_conditions.pl
|
908 B |
|
scryer_op_name_list_unbound_element.pl
|
228 B |
|
scryer_op_name_type_error.pl
|
208 B |
|
scryer_op_specifier_type_error.pl
|
212 B |
|
scryer_op_wrong_arity_existence_error.pl
|
233 B |
|
scryer_operator_application_vs_functor_notation.pl
|
281 B |
|
scryer_operator_precedence.pl
|
390 B |
|
scryer_postfix_operator_negative_number.pl
|
252 B |
|
scryer_prefix_minus_chain.pl
|
210 B |
|
scryer_quote_and_char_code_literals.pl
|
386 B |
|
scryer_special_atom_names.pl
|
236 B |
|
scryer_subnormal_float_underflow.pl
|
242 B |
|
scryer_unary_plus_compound.pl
|
293 B |
|
scryer_user_operator_with_prefix_minus.pl
|
356 B |
|
streams_and_term_io.pl
|
3.09 KB |
|
sub_atom_empty.pl
|
96 B |
|
sub_atom_prefix.pl
|
97 B |
|
sub_atom_suffix.pl
|
97 B |
|
swipl_call_n_builds_control_construct.pl
|
359 B |
|
swipl_catch_partial_unification_rethrow.pl
|
363 B |
|
swipl_keysort_remaining_errors.pl
|
505 B |
|
swipl_length_errors.pl
|
338 B |
|
swipl_memberchk_binding_retention.pl
|
213 B |
|
swipl_occurs_check.pl
|
306 B |
|
swipl_operator_syntax.pl
|
521 B |
|
swipl_operator_table_self_named.pl
|
628 B |
|
swipl_sort_partial_list_errors.pl
|
306 B |
|
swipl_write_canonical_var_and_curly.pl
|
302 B |
|
term_modes_and_ordering.pl
|
1.01 KB |
|
term_order_atom_less.pl
|
80 B |
|
term_order_equal_greater_or_equal.pl
|
74 B |
|
term_order_equal_less_or_equal.pl
|
86 B |
|
term_order_number_greater.pl
|
73 B |
|
throw_copies_ball.pl
|
396 B |
|
trealla_append_modes.pl
|
252 B |
|
trealla_arithmetic_constants.pl
|
194 B |
|
trealla_atom_codes_unicode.pl
|
308 B |
|
trealla_atom_enumeration.pl
|
348 B |
|
trealla_bagof_multi_free_variables.pl
|
594 B |
|
trealla_bagof_setof_duplicate_handling.pl
|
394 B |
|
trealla_bignum_arithmetic.pl
|
1.3 KB |
|
trealla_call_missing_extended_arity.pl
|
243 B |
|
trealla_call_transparent_to_disjunction.pl
|
229 B |
|
trealla_clause_enumeration_backtracking.pl
|
344 B |
|
trealla_compare_standard_order.pl
|
235 B |
|
trealla_copy_term_binding_direction.pl
|
290 B |
|
trealla_copy_term_bound_list_tail.pl
|
218 B |
|
trealla_curly_and_colon_syntax_equivalence.pl
|
287 B |
|
trealla_curly_braces_as_predicate.pl
|
363 B |
|
trealla_dif_unification_shared_var.pl
|
189 B |
|
trealla_disjunction_commit_and_fallthrough.pl
|
324 B |
|
trealla_findall_bagof_grouping.pl
|
340 B |
|
trealla_findall_solution_independence.pl
|
293 B |
|
trealla_float_literal_representation_error.pl
|
470 B |
|
trealla_float_parts_extremes.pl
|
647 B |
|
trealla_forall_arithmetic_facts.pl
|
260 B |
|
trealla_forall_double_negation.pl
|
383 B |
|
trealla_functor_arg_partial_term.pl
|
441 B |
|
trealla_ground_progressive_backtracking.pl
|
513 B |
|
trealla_if_then_else_backtracking.pl
|
424 B |
|
trealla_if_then_noncallable_then.pl
|
219 B |
|
trealla_logical_update_view.pl
|
259 B |
|
trealla_mod_sign_rules.pl
|
409 B |
|
trealla_negation_eager_callability.pl
|
481 B |
|
trealla_number_chars_skips_comments.pl
|
246 B |
|
trealla_number_chars_syntax_error.pl
|
219 B |
|
trealla_number_codes_char_literal.pl
|
204 B |
|
trealla_occurs_check_rational_tree_subtleties.pl
|
342 B |
|
trealla_occurs_check_reverse_order.pl
|
256 B |
|
trealla_once_inside_findall_template.pl
|
325 B |
|
trealla_quoted_atom_line_continuation.pl
|
200 B |
|
trealla_retract_backtracking.pl
|
346 B |
|
trealla_shared_argument_aliasing.pl
|
227 B |
|
trealla_shared_variable_unification.pl
|
1.38 KB |
|
trealla_sort_duplicates_and_empty.pl
|
317 B |
|
trealla_sub_atom_modes.pl
|
709 B |
|
trealla_term_shapes.pl
|
485 B |
|
trealla_term_variables_partial_list_error.pl
|
275 B |
|
trealla_unicode_length_agreement.pl
|
258 B |
|
trealla_variable_aliasing_across_calls.pl
|
286 B |
|
trealla_variable_goal_normalization.pl
|
313 B |
|
trealla_write_associative_operators.pl
|
335 B |
|
trealla_write_canonical_operators.pl
|
620 B |
|
trealla_write_term_duplicate_variable_names.pl
|
258 B |
|
trealla_write_term_ignore_ops_quoted_independence.pl
|
454 B |
|
trealla_write_term_variable_names_malformed.pl
|
288 B |
|
type_atom_success.pl
|
77 B |
|
type_atomic_atom_success.pl
|
79 B |
|
type_atomic_number_success.pl
|
76 B |
|
type_callable_atom_success.pl
|
80 B |
|
type_callable_compound_success.pl
|
85 B |
|
type_compound_success.pl
|
87 B |
|
type_float_success.pl
|
78 B |
|
type_ground_success.pl
|
90 B |
|
type_integer_success.pl
|
78 B |
|
type_nonvar_success.pl
|
79 B |
|
type_number_float_success.pl
|
79 B |
|
type_number_integer_success.pl
|
76 B |
|
type_var_success.pl
|
73 B |
|
unification_control_information.pl
|
363 B |
|
univ_construct_compound.pl
|
107 B |
|
univ_construct_number.pl
|
89 B |
|
univ_decompose_atom.pl
|
82 B |
|
univ_decompose_compound.pl
|
94 B |
|
wg17_syntax_high_risk.pl
|
1.14 KB |