rishi/scryer-prolog
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
Files
ab3c520006dc215ff14122b6d505740d63d3a4fa
scryer-prolog/src/prolog/lib
History
Markus Triska ab3c520006 document ~| format modifier to place a tab stop at this position 
This works best when used in tandem with ~N+, since it is currently
equivalent to ~0| and does not take the actual text position into account.
However, when using relative positions, this works as intended.
2020-04-19 01:59:16 +02:00
..
tabling
harmonize partial strings with complete strings (#276), make Addr a copyable type
2020-04-03 10:22:46 -06:00
assoc.pl
use fixnums in place of bignums where possible
2020-04-05 20:32:16 -06:00
atts.pl
harmonize partial strings with complete strings (#276), make Addr a copyable type
2020-04-03 10:22:46 -06:00
between.pl
revert to older between.pl
2020-02-20 10:07:45 -07:00
builtins.pl
remove SCCCutPolicy panic, revise (;)/2 so that comma'ed cuts are handled properly (#361)
2020-04-18 20:10:53 -06:00
charsio.pl
Removed a check in get_single_char
2020-04-18 14:16:46 -06:00
clpb.pl
rename non_iso.pl to iso_ext.pl (#265)
2020-02-22 00:58:37 -07:00
clpz.pl
add library(freeze) to make zcompare/3 work
2020-04-08 22:09:59 +02:00
cont.pl
harmonize partial strings with complete strings (#276), make Addr a copyable type
2020-04-03 10:22:46 -06:00
dcgs.pl
throw error when trying to use partial lists as DCG terminal-sequence (#286)
2020-04-11 22:40:29 -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
document ~| format modifier to place a tab stop at this position
2020-04-19 01:59:16 +02: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
remove SCCCutPolicy panic, revise (;)/2 so that comma'ed cuts are handled properly (#361)
2020-04-18 20:10:53 -06:00
lists.pl
ADDED: list_to_set/2, using the first occurrence of each element
2020-04-18 14:16:40 -06:00
ordsets.pl
make *.pl files in src/prolog/lib available from libraries.rs
2019-09-26 23:10:04 -06:00
pairs.pl
ADDED: group_pairs_by_key/2
2020-04-14 00:10:33 +02: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
harmonize partial strings with complete strings (#276), make Addr a copyable type
2020-04-03 10:22:46 -06:00
terms.pl
print errors with line numbers in GNU style
2019-10-04 15:32:26 -06:00