- File applic.pl:
apply/2
callable/1
checkand/2
checklist/2
convlist/3
exclude/3
mapand/3
maplist/3
some/2
somechk/2
sublist/3
- File arrays.pl:
array_length/2
array_to_list/2
fetch/3
get_last/2
list_to_array/2
put_last/2
store/4
store/5
un_wrap/2
wrap_up/2
- File assoc.pl:
assoc_to_list/2
assoc_to_list/3
get_assoc/3
list_to_assoc/4
map_assoc/3
put_assoc/4
- File bagutl.pl:
addkeys/2
bag_inter/3
bag_inter/8
bag_scan/5
bag_to_list/2
bag_to_list/4
bag_to_set/2
bag_union/3
bag_union/8
bagform/2
bagform/5
bagmax/2
bagmin/2
checkbag/2
countdown/2
is_bag/1
is_bag/2
length/3
length/5
list_to_bag/2
make_sub_bag/2
mapbag/3
mapbaglist/3
member/3
memberchk/3
portray_bag/1
portray_bag/2
portray_bag/3
test_sub_bag/2
test_sub_bag/7
- File between.pl:
between/3
between1/3
gen_arg/3
gen_int/1
gen_nat/1
gen_nat/2
- File flat.pl:
and_to_list/2
binary_to_list/4
binary_to_list/5
flatten/2
list_to_and/2
list_to_binary/3
list_to_binary/4
list_to_binaryL/4
list_to_binaryR/3
list_to_or/2
list_to_plus/2
list_to_times/2
or_to_list/2
plus_to_list/2
times_to_list/2
- File graphs.pl:
compose/3
compose/4
compose1/4
compose1/8
count_edges/4
decr_list/6
incr_list/4
memberchk/2
ord_union/3
p_member/3
p_to_s_graph/2
p_to_s_group/3
p_to_s_group/4
p_to_s_vertices/2
p_transpose/2
s_member/3
s_to_p_graph/2
s_to_p_graph/4
s_to_p_trans/2
s_to_p_trans/4
s_transpose/2
s_transpose/4
select_zeros/3
top_sort/2
top_sort/5
transpose_s/4
vertices/2
vertices_and_zeros/3
warshall/2
warshall/3
warshall/4
- File heaps.pl:
add_to_heap/4
add_to_heap/5
add_to_heap/8
get_from_heap/4
heap_size/2
heap_to_list/2
heap_tree_to_list/2
heap_tree_to_list/3
list_to_heap/2
list_to_heap/4
min_of_heap/3
min_of_heap/4
min_of_heap/5
repair_heap/4
sort2/8
- File listut.pl:
append/3
correspond/4
delete/3
last/2
nextto/3
nmember/3
nmembers/3
nth0/3
nth0/4
nth1/3
nth1/4
numlist/3
perm/2
perm2/4
remove_dups/2
rev/2
reverse/2
reverse/3
same_length/2
select/4
shorter_list/2
subseq/3
subseq0/2
subseq1/2
sumlist/2
sumlist/3
- File logarr.pl:
aref/3
arefa/3
arefl/3
array_item/5
array_to_list/2
aset/4
check_int/1
enlarge_array/5
is_array/1
new_array/1
not_undef/1
subarray_to_list/6
update_array_item/5
update_subarray/5
- File long.pl:
absq/3
add/3
add1/3
addn/5
addq/4
addz/7
arccoseval/2
arcsineval/2
arctaneval/2
arctaneval/4
binrad/3
break/0
chkd/7
com1/4
combine_ops/4
comn/4
comq/4
comz/5
conn/3
coseval/2
div1/5
div2/5
divm/5
divn/5
divo/5
divq/4
divz/9
estd/4
estg/4
eva2/2
eval/1
eval/2
gcdn/4
gcdn/5
gcdn/6
gcdq/4
intq/3
logn/6
logq/3
logq/4
logq/6
lograt/5
long_error/2
long_error_message/2
loop/4
loop/5
mod2/2
mul1/4
mul1/5
muln/4
muln/5
mulq/4
multiply/3
negq/3
newton/5
newton/6
nthn/4
nthq/4
oneq/3
portray_ratnum/1
portray_ratnum/3
power/3
pown/5
powq/4
powq/5
powz/6
prune/2
putn/1
ratlog/4
ratlog/6
ratnum/1
ratnum/5
relational_op/3
sign/3
sineval/2
sineval1/2
standardise/2
sub1/3
subn/5
subn/6
subp/5
subq/4
subz/7
taneval/2
ttynl/0
- File map.pl:
is_map/1
is_map/2
list_to_map/2
list_to_map_/2
map_agree/2
map_agree/7
map_compose/3
map_compose_/3
map_compose_/8
map_disjoint/2
map_domain/2
map_exclude/3
map_exclude/7
map_include/3
map_include/7
map_invert/2
map_invert_/2
map_map/3
map_range/2
map_range_/2
map_to_assoc/2
map_to_list/2
map_union/3
map_union/8
map_update/3
map_update/4
map_update/7
map_update/8
map_value/3
map_value/5
portray_map/1
portray_map/2
- File metutl.pl:
compound/1
copy/2
ground/1
ground/2
occurs_check/2
occurs_check/3
occurs_in/2
occurs_in/3
simple/1
subsumes/2
subsumes/3
subsumes/4
subsumes_chk/2
subterm/2
subterm/3
unify/2
unify/3
var_member_chk/2
variables_of/2
variables_of/3
variables_of/4
variant/2
- File occur.pl:
contains/2
copy_all_but_one_arg/4
freeof/2
freeof/3
patharg/3
position/3
position/4
replace/4
- File order.pl:
len/2
len_/2
len_/3
ordered/1
ordered/2
ordered_/2
ordered_/3
- File projec.pl:
$project/2
$project/3
keys_and_values/3
project/3
- File queues.pl:
empty_queue/1
head_queue/2
join_queue/3
jump_queue/3
length_queue/2
length_queue/4
list_join_queue/3
list_jump_queue/3
list_to_queue/2
make_queue/1
queue_to_list/2
queue_to_list/3
serve_queue/3
- File random.pl:
rand_perm/2
random/2
random/3
randomise/0
randomise/1
- File rdtok.pl:
clean_pos/3
clean_tok_list/2
clean_var_list/2
one_sixbit_char/3
read_tokens/2
sixbit_to_ascii/2
- File setutl.pl:
add_element/3
del_element/3
disjoint/1
disjoint/2
intersect/2
intersect/3
listtoset/2
member/2
memberchk/2
nonmember/2
pairfrom/4
select/3
seteq/2
subset/2
subtract/3
symdiff/3
symdiff/4
union/3
- File struct.pl:
copy_ground/3
copy_ground/4
copy_ground/5
occ/3
occ/4
occ/5
subst/3
subst/4
subst/5
subst_member/3
subst_member/4
var_member_check/2
variables/2
variables/3
variables/4
- File tidy.pl:
bag_to_tidy/2
bag_to_tidy/3
combine_and/3
combine_bags/2
combine_or/3
combine_plus/3
combine_power/3
combine_rel/4
combine_times/3
expr_to_bag/2
expr_to_bag/5
multiply_exp/3
multiply_out/3
multiply_out/4
number_check/3
power_out/3
power_out/4
relop_tidy/4
tidy/2
tidy_expr/2
tidy_relop/4
tidy_stmt/2
tidy_withvars/2
user_tidy/2
- File trees.pl:
find_node/3
find_node/5
get_label/3
list_to_tree/1
list_to_tree/2
list_to_tree/3
map_tree/3
put_label/4
tree_size/2
tree_size/3
tree_to_list/2
tree_to_list/3