Markus Triska f28e87b240 instead of a type error, use a domain error ...

The preceding use of atom_length/2 already ensures that C has the
correct type (i.e., atom). However, its domain may still be wrong,
if its length is greater than 1.

2020-04-18 14:16:46 -06: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

Moved get_single_char from builtins.pl to charsio.pl

2020-04-18 14:16:46 -06:00

charsio.pl

instead of a type error, use a domain error

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

the workaround is no longer necessary, since #336 is now corrected

2020-04-13 11:32:06 +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

move write_term_to_chars/3 to src/prolog/lib/charsio.pl

2020-04-12 14:42:39 -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