| ... |
|
arg_first_success.pl
|
8 B |
|
arg_last_success.pl
|
8 B |
|
arg_out_of_range_fails.pl
|
8 B |
|
arithmetic.pl
|
20 B |
|
arithmetic_bit_and.pl
|
8 B |
|
arithmetic_bit_or.pl
|
8 B |
|
arithmetic_bit_shift.pl
|
8 B |
|
arithmetic_comparison_equal.pl
|
8 B |
|
arithmetic_comparison_not_equal.pl
|
8 B |
|
arithmetic_integer_quotient.pl
|
8 B |
|
arithmetic_remainder.pl
|
8 B |
|
arithmetic_unary_plus.pl
|
8 B |
|
atom_chars_forward.pl
|
8 B |
|
atom_chars_reverse.pl
|
8 B |
|
atom_codes_forward.pl
|
8 B |
|
atom_codes_reverse.pl
|
8 B |
|
atom_concat_forward.pl
|
8 B |
|
atom_concat_prefix.pl
|
8 B |
|
atom_concat_suffix.pl
|
8 B |
|
atom_length_unicode.pl
|
8 B |
|
atom_length_zero.pl
|
8 B |
|
atomic_term_processing.pl
|
174 B |
|
bitwise_complement.pl
|
13 B |
|
call_success.pl
|
8 B |
|
catch_recovers.pl
|
8 B |
|
char_code_forward.pl
|
8 B |
|
char_code_reverse.pl
|
8 B |
|
compare_equal_result.pl
|
8 B |
|
compare_greater_result.pl
|
8 B |
|
compare_less_result.pl
|
8 B |
|
control_and_terms.pl
|
66 B |
|
copy_term_fresh_variables.pl
|
8 B |
|
core_predicates.pl
|
28 B |
|
cut_control.pl
|
195 B |
|
dynamic_database.pl
|
99 B |
|
exceptions_and_flags.pl
|
314 B |
|
false_builtin.pl
|
41 B |
|
functor_construct_atom.pl
|
8 B |
|
functor_construct_compound.pl
|
8 B |
|
functor_decompose_atom.pl
|
8 B |
|
functor_decompose_compound.pl
|
8 B |
|
functor_decompose_number.pl
|
8 B |
|
grouped_solutions_and_clauses.pl
|
259 B |
|
halt.pl
|
12 B |
|
identity_shared_variable.pl
|
8 B |
|
if_then_else_fallback.pl
|
8 B |
|
if_then_success.pl
|
8 B |
|
include_and_ensure_loaded.pl
|
49 B |
|
lexical_and_curly_terms.pl
|
62 B |
|
logtalk_abolish.pl
|
16 B |
|
logtalk_arg_unification.pl
|
33 B |
|
logtalk_assert_order.pl
|
37 B |
|
logtalk_atom_chars.pl
|
52 B |
|
logtalk_atom_codes.pl
|
55 B |
|
logtalk_atom_concat.pl
|
146 B |
|
logtalk_atom_length.pl
|
21 B |
|
logtalk_bagof.pl
|
42 B |
|
logtalk_char_code.pl
|
30 B |
|
logtalk_clause.pl
|
63 B |
|
logtalk_compare_standard_order.pl
|
29 B |
|
logtalk_copy_term_semantics.pl
|
21 B |
|
logtalk_current_predicate.pl
|
25 B |
|
logtalk_current_streams.pl
|
17 B |
|
logtalk_findall.pl
|
48 B |
|
logtalk_number_chars.pl
|
47 B |
|
logtalk_number_codes.pl
|
45 B |
|
logtalk_occurs_check.pl
|
30 B |
|
logtalk_once.pl
|
22 B |
|
logtalk_operators.pl
|
34 B |
|
logtalk_prolog_flags.pl
|
51 B |
|
logtalk_repeat.pl
|
13 B |
|
logtalk_retract.pl
|
35 B |
|
logtalk_setof.pl
|
36 B |
|
logtalk_sub_atom.pl
|
63 B |
|
logtalk_term_comparison.pl
|
23 B |
|
logtalk_term_variables.pl
|
177 B |
|
logtalk_univ.pl
|
64 B |
|
negation_success.pl
|
8 B |
|
nonidentity_distinct_variables.pl
|
8 B |
|
nonunifiable_compounds.pl
|
8 B |
|
number_chars_integer.pl
|
8 B |
|
number_codes_decimal.pl
|
8 B |
|
occurs_check_rejects_cycle.pl
|
8 B |
|
once_commits_first.pl
|
8 B |
|
operators.pl
|
266 B |
|
remaining_builtins_and_directives.pl
|
88 B |
|
scryer_lexical_terms.pl
|
115 B |
|
scryer_operator_precedence.pl
|
80 B |
|
streams_and_term_io.pl
|
164 B |
|
sub_atom_empty.pl
|
8 B |
|
sub_atom_prefix.pl
|
8 B |
|
sub_atom_suffix.pl
|
8 B |
|
swipl_occurs_check.pl
|
24 B |
|
swipl_operator_syntax.pl
|
141 B |
|
term_modes_and_ordering.pl
|
153 B |
|
term_order_atom_less.pl
|
8 B |
|
term_order_equal_greater_or_equal.pl
|
8 B |
|
term_order_equal_less_or_equal.pl
|
8 B |
|
term_order_number_greater.pl
|
8 B |
|
trealla_atom_enumeration.pl
|
222 B |
|
trealla_logical_update_view.pl
|
42 B |
|
trealla_term_shapes.pl
|
17 B |
|
type_atom_success.pl
|
8 B |
|
type_atomic_atom_success.pl
|
8 B |
|
type_atomic_number_success.pl
|
8 B |
|
type_callable_atom_success.pl
|
8 B |
|
type_callable_compound_success.pl
|
8 B |
|
type_compound_success.pl
|
8 B |
|
type_float_success.pl
|
8 B |
|
type_ground_success.pl
|
8 B |
|
type_integer_success.pl
|
8 B |
|
type_nonvar_success.pl
|
8 B |
|
type_number_float_success.pl
|
8 B |
|
type_number_integer_success.pl
|
8 B |
|
type_var_success.pl
|
8 B |
|
unification_control_information.pl
|
35 B |
|
univ_construct_compound.pl
|
8 B |
|
univ_construct_number.pl
|
8 B |
|
univ_decompose_atom.pl
|
8 B |
|
univ_decompose_compound.pl
|
8 B |