| ... |
|
arg_first_success.pl
|
100 B |
|
arg_last_success.pl
|
101 B |
|
arg_out_of_range_fails.pl
|
104 B |
|
arithmetic.pl
|
164 B |
|
arithmetic_bit_and.pl
|
80 B |
|
arithmetic_bit_or.pl
|
80 B |
|
arithmetic_bit_shift.pl
|
81 B |
|
arithmetic_comparison_equal.pl
|
80 B |
|
arithmetic_comparison_not_equal.pl
|
80 B |
|
arithmetic_integer_quotient.pl
|
82 B |
|
arithmetic_remainder.pl
|
83 B |
|
arithmetic_unary_plus.pl
|
76 B |
|
atom_chars_forward.pl
|
95 B |
|
atom_chars_reverse.pl
|
108 B |
|
atom_codes_forward.pl
|
95 B |
|
atom_codes_reverse.pl
|
108 B |
|
atom_concat_forward.pl
|
98 B |
|
atom_concat_prefix.pl
|
115 B |
|
atom_concat_suffix.pl
|
115 B |
|
atom_length_unicode.pl
|
90 B |
|
atom_length_zero.pl
|
87 B |
|
atomic_term_processing.pl
|
619 B |
|
bitwise_complement.pl
|
58 B |
|
call_success.pl
|
87 B |
|
catch_recovers.pl
|
99 B |
|
char_code_forward.pl
|
85 B |
|
char_code_reverse.pl
|
102 B |
|
compare_equal_result.pl
|
93 B |
|
compare_greater_result.pl
|
87 B |
|
compare_less_result.pl
|
87 B |
|
control_and_terms.pl
|
187 B |
|
copy_term_fresh_variables.pl
|
134 B |
|
core_predicates.pl
|
256 B |
|
cut_control.pl
|
1.08 KB |
|
dynamic_database.pl
|
529 B |
|
exceptions_and_flags.pl
|
957 B |
|
false_builtin.pl
|
120 B |
|
functor_construct_atom.pl
|
104 B |
|
functor_construct_compound.pl
|
117 B |
|
functor_decompose_atom.pl
|
91 B |
|
functor_decompose_compound.pl
|
97 B |
|
functor_decompose_number.pl
|
87 B |
|
grouped_solutions_and_clauses.pl
|
904 B |
|
halt.pl
|
68 B |
|
identity_shared_variable.pl
|
75 B |
|
if_then_else_fallback.pl
|
89 B |
|
if_then_success.pl
|
83 B |
|
include_and_ensure_loaded.pl
|
267 B |
|
include_payload.inc
|
35 B |
|
lexical_and_curly_terms.pl
|
475 B |
|
logtalk_abolish.pl
|
294 B |
|
logtalk_arg_unification.pl
|
572 B |
|
logtalk_assert_order.pl
|
309 B |
|
logtalk_atom_chars.pl
|
680 B |
|
logtalk_atom_codes.pl
|
692 B |
|
logtalk_atom_concat.pl
|
692 B |
|
logtalk_atom_length.pl
|
305 B |
|
logtalk_bagof.pl
|
416 B |
|
logtalk_char_code.pl
|
291 B |
|
logtalk_clause.pl
|
410 B |
|
logtalk_compare_standard_order.pl
|
602 B |
|
logtalk_copy_term_semantics.pl
|
603 B |
|
logtalk_current_predicate.pl
|
351 B |
|
logtalk_current_streams.pl
|
377 B |
|
logtalk_findall.pl
|
513 B |
|
logtalk_number_chars.pl
|
556 B |
|
logtalk_number_codes.pl
|
548 B |
|
logtalk_occurs_check.pl
|
681 B |
|
logtalk_once.pl
|
327 B |
|
logtalk_operators.pl
|
643 B |
|
logtalk_prolog_flags.pl
|
712 B |
|
logtalk_repeat.pl
|
187 B |
|
logtalk_retract.pl
|
488 B |
|
logtalk_setof.pl
|
382 B |
|
logtalk_sub_atom.pl
|
604 B |
|
logtalk_term_comparison.pl
|
615 B |
|
logtalk_term_variables.pl
|
870 B |
|
logtalk_univ.pl
|
442 B |
|
negation_success.pl
|
76 B |
|
nonidentity_distinct_variables.pl
|
76 B |
|
nonunifiable_compounds.pl
|
81 B |
|
number_chars_integer.pl
|
103 B |
|
number_codes_decimal.pl
|
100 B |
|
occurs_check_rejects_cycle.pl
|
104 B |
|
once_commits_first.pl
|
126 B |
|
operators.pl
|
912 B |
|
remaining_builtins_and_directives.pl
|
952 B |
|
scryer_lexical_terms.pl
|
825 B |
|
scryer_operator_precedence.pl
|
392 B |
|
streams_and_term_io.pl
|
2.01 KB |
|
sub_atom_empty.pl
|
98 B |
|
sub_atom_prefix.pl
|
99 B |
|
sub_atom_suffix.pl
|
99 B |
|
swipl_occurs_check.pl
|
308 B |
|
swipl_operator_syntax.pl
|
525 B |
|
term_modes_and_ordering.pl
|
1.02 KB |
|
term_order_atom_less.pl
|
82 B |
|
term_order_equal_greater_or_equal.pl
|
76 B |
|
term_order_equal_less_or_equal.pl
|
88 B |
|
term_order_number_greater.pl
|
75 B |
|
trealla_atom_enumeration.pl
|
352 B |
|
trealla_logical_update_view.pl
|
261 B |
|
trealla_term_shapes.pl
|
487 B |
|
type_atom_success.pl
|
79 B |
|
type_atomic_atom_success.pl
|
81 B |
|
type_atomic_number_success.pl
|
78 B |
|
type_callable_atom_success.pl
|
82 B |
|
type_callable_compound_success.pl
|
87 B |
|
type_compound_success.pl
|
89 B |
|
type_float_success.pl
|
80 B |
|
type_ground_success.pl
|
92 B |
|
type_integer_success.pl
|
80 B |
|
type_nonvar_success.pl
|
81 B |
|
type_number_float_success.pl
|
81 B |
|
type_number_integer_success.pl
|
78 B |
|
type_var_success.pl
|
75 B |
|
unification_control_information.pl
|
365 B |
|
univ_construct_compound.pl
|
109 B |
|
univ_construct_number.pl
|
91 B |
|
univ_decompose_atom.pl
|
84 B |
|
univ_decompose_compound.pl
|
96 B |