…

..

.gitignore

…

.nocopyright

…

advisor_impl.m

…

advisor.m

…

applast_impl.m

…

applast.m

…

bug.m

…

contains_kmp.m

…

contains_lam.m

…

contains.m

…

depth.m

…

doubleapp_impl.m

…

doubleapp.m

…

ex_depth.m

…

flip_impl.m

…

flip.m

…

grammar_impl.m

…

grammar.m

…

groundunify_complex.m

…

groundunify_simple.m

…

imperative_solve_impl.m

…

imperative_solve_power.m

…

imperative-solve.power.txt

…

liftsolve.app.m

…

liftsolve.db1.m

…

liftsolve.db2.m

…

liftsolve.lmkng.m

…

map_impl.m

…

map_reduce.m

…

map_rev.m

…

match_append_impl.m

…

match_append.m

…

match_impl.m

…

match_kmp.m

…

match.m

…

max_length_impl.m

…

maxlength.m

…

memo_solve.m

…

Mercury.options

…

missionaries_impl.m

…

missionaries.m

…

Mmakefile

…

model_elim.m

…

regexp_r1.m

…

regexp_r2.m

…

regexp_r3.m

…

regexp.m

…

relative_impl.m

…

relative.m

…

remove2_impl.m

…

remove2.m

…

remove_impl.m

…

remove.m

…

rev_acc_type_inffail.m

…

rev_acc_type.m

…

rotateprune_impl.m

…

rotateprune.m

…

run.exp

…

run.m

…

ssuply_impl.m

…

ssuply.m

…

sum.m

…

transpose_impl.m

…

transpose.m

…

upto_sum1.m

…

upto_sum2.m

…

upto_sum_impl.m

…