rishi/scryer-prolog
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
Files
121c8d8a48b630a426f749164d6694e6d1ac2559
scryer-prolog/src/prolog/lib
History
Mark Thom f9c4a40d60 add set_input/1, set_output/1
2020-03-15 23:29:21 -06:00
..
tabling
rename non_iso.pl to iso_ext.pl (#265)
2020-02-22 00:58:37 -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
change goal and term expansions, change call/N to use goal expansions
2019-12-10 21:36:02 -07:00
between.pl
revert to older between.pl
2020-02-20 10:07:45 -07:00
builtins.pl
add set_input/1, set_output/1
2020-03-15 23:29:21 -06:00
clpb.pl
rename non_iso.pl to iso_ext.pl (#265)
2020-02-22 00:58:37 -07:00
cont.pl
implement less defaulty interface in cont.pl
2019-12-23 12:19:18 -07:00
dcgs.pl
correct DCG descriptions of lists (#286)
2020-03-14 14:14:26 -06: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
format.pl
ADDED: library(format), describing strings with format_//2
2020-03-13 20:46:53 +01:00
freeze.pl
correct attributed variables bugs
2019-12-03 22:59:51 -07:00
gensym.pl
rename non_iso.pl to iso_ext.pl (#265)
2020-02-22 00:58:37 -07:00
iso_ext.pl
rename non_iso.pl to iso_ext.pl (#265)
2020-02-22 00:58:37 -07:00
lists.pl
adopt compatibility predicates from clpb and clpz into lists and pairs libraries
2020-02-21 12:48:15 -07:00
ordsets.pl
make *.pl files in src/prolog/lib available from libraries.rs
2019-09-26 23:10:04 -06:00
pairs.pl
adopt compatibility predicates from clpb and clpz into lists and pairs libraries
2020-02-21 12:48:15 -07: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
tabling.pl
rename non_iso.pl to iso_ext.pl (#265)
2020-02-22 00:58:37 -07:00
terms.pl
print errors with line numbers in GNU style
2019-10-04 15:32:26 -06:00