rishi/scryer-prolog
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
Files
34ae56e319d89ae636f024c3f98744969d3d9114
scryer-prolog/src/prolog/lib
History
Markus Triska a39f4b4487 correct verify_attributes/3 for variables that have no CLP(ℤ) attribute attached (#373) 
Example:

    ?- freeze(B, queen_value_truth(C,N,B)), Q #= N #<==> B.
       clpz:(Q#=N#<==>B), clpz:(B in 0..1), freeze:freeze(B,queen_value_truth(C,N,B))
    ;  false.
2020-04-30 18:10:09 +02:00
..
tabling
Implemented the Debug trait for all data structures
2020-04-26 02:20:24 +02:00
arithmetic.pl
Add rational_numerator_denominator/3, number_to_rational/2 and renamed stern_brocot/3 to number_to_rational/3
2020-04-29 23:30:14 +02:00
assoc.pl
use fixnums in place of bignums where possible
2020-04-05 20:32:16 -06:00
atts.pl
don't append lists of attributes when binding attributed variables (#353)
2020-04-28 01:40:11 -06:00
between.pl
Implemented the Debug trait for all data structures
2020-04-26 02:20:24 +02:00
builtins.pl
fix 'drain lower bound was too large', store user-level expansions to modules (#416)
2020-04-30 00:01:00 -06:00
charsio.pl
correct answer substitution order, equating variables to themselves (#326)
2020-04-29 01:45:42 -06:00
clpb.pl
use new predicates from library(error)
2020-04-27 18:44:59 +02:00
clpz.pl
correct verify_attributes/3 for variables that have no CLP(ℤ) attribute attached (#373)
2020-04-30 18:10:09 +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
ADDED: library(error): instantiation_error/1, domain_error/3, type_error/3
2020-04-27 18:44:59 +02:00
format.pl
use new predicates from library(error)
2020-04-27 18:44:59 +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
Created the library random and moved some predicates from iso_ext
2020-04-26 23:37:22 +02:00
lists.pl
use singleton variable, correct a mistake in maplist/8
2020-04-28 17:59:49 +02: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
pio.pl
use new predicates from library(error)
2020-04-27 18:44:59 +02:00
queues.pl
include builtins implicitly in every module.
2018-07-04 23:25:55 -06:00
random.pl
use new predicates from library(error) to throw type and domain errors
2020-04-28 17:59:49 +02: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
time.pl
small typographic corrections
2020-04-28 17:59:49 +02:00