Mark Thom 27b659c401 add sumlist/2 to lists.pl

2019-11-30 14:22:59 -07:00

..

assoc.pl

make *.pl files in src/prolog/lib available from libraries.rs

2019-09-26 23:10:04 -06:00

atts.pl

add copy_term/3 (#232)

2019-11-29 00:44:23 -07:00

between.pl

make *.pl files in src/prolog/lib available from libraries.rs

2019-09-26 23:10:04 -06:00

builtins.pl

add (:)/{3..12} to enable metacalls on module-prefixed predicates

2019-11-26 20:51:59 -07:00

clpb.pl

add operator exports to module declarations, treat them separately from predicate exports (#230)"

2019-11-25 23:09:49 -07:00

dcgs.pl

add operator exports to module declarations, treat them separately from predicate exports (#230)"

2019-11-25 23:09:49 -07:00

diag.pl

make *.pl files in src/prolog/lib available from libraries.rs

2019-09-26 23:10:04 -06:00

dif.pl

fix attributed variables bug causing weighted_maximum/3 example to omit a variable binding

2019-10-20 14:50:46 -06:00

error.pl

support must_be(var, ...)

2019-10-16 19:18:38 +02:00

freeze.pl

compress the definition of freeze:attribute_goals//1

2019-11-30 14:12:33 -07:00

lists.pl

add sumlist/2 to lists.pl

2019-11-30 14:22:59 -07:00

non_iso.pl

add order preserving tidy_trail, fix random_labeling/2

2019-10-19 00:29:50 -06:00

ordsets.pl

make *.pl files in src/prolog/lib available from libraries.rs

2019-09-26 23:10:04 -06:00

queues.pl

include builtins implicitly in every module.

2018-07-04 23:25:55 -06:00

reif.pl

make *.pl files in src/prolog/lib available from libraries.rs

2019-09-26 23:10:04 -06:00

si.pl

ADDED: library(si) for safe type tests.

2019-09-25 23:17:50 +02:00

terms.pl

print errors with line numbers in GNU style

2019-10-04 15:32:26 -06:00