rishi/scryer-prolog
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
Files
0fb74b56b378b3518bb1201099c3953ad677a8d2
scryer-prolog/src/lib
History
Markus Triska 0fb74b56b3 FIXED: CLP(B): weighted_maximum/3 with repeated variables 
Many thanks to @jburse for reporting this issue:

    https://github.com/triska/clpz/issues/15

Example:

    ?- sat(~(Y*X)), sat(Z=:=Y), weighted_maximum([7,2,5],[X,Y,Z],W).
       W = 7, Y = 0, X = 1, Z = 0
    ;  W = 7, Y = 1, X = 0, Z = 1
    ;  false.
2021-03-05 18:35:19 +01:00
..
http
Fix typo
2021-02-21 21:08:03 +01:00
tabling
suppress tabled/2 existence errors in tabling library, do not print evaluation errors generated by term and goal expansion in loader.pl
2021-02-28 18:56:24 -07:00
arithmetic.pl
remove vestigial prolog/ directory (#444)
2020-06-12 18:26:38 -06:00
assoc.pl
enable meta_predicate/1 declarations
2021-02-18 20:19:23 +01:00
atts.pl
restore support for tabling and delimited continuations (#779)
2021-02-17 16:18:49 -07:00
between.pl
Removed redundant choicepoint from between/3
2021-01-30 17:45:55 +01:00
builtins.pl
use plain ! while interpreting control functors in metacalls (#724)
2021-02-28 19:12:35 -07:00
charsio.pl
anonymize singleton variables in iso_ext.pl, charsio.pl
2021-02-21 19:20:42 -07:00
clpb.pl
FIXED: CLP(B): weighted_maximum/3 with repeated variables
2021-03-05 18:35:19 +01:00
clpz.pl
remove min_/3 and max_/3 which are also defined elsewhere
2021-03-02 19:59:57 +01:00
cont.pl
restore support for tabling and delimited continuations (#779)
2021-02-17 16:18:49 -07:00
crypto.pl
reflect improved determinism thanks to the improvements by @notoria
2020-12-23 00:05:29 +01:00
csv.pl
set domain_error exception & use format/3 with setup_call_cleanup/3 for stream writing
2020-07-17 01:21:40 +02:00
dcgs.pl
introduce cuts over indexed (:)/2 of dcgs:phrase_/3 (#786)
2021-02-03 16:03:15 -07:00
debug.pl
add appropriate meta_predicate/1 declarations
2021-02-18 19:16:11 +01:00
diag.pl
move to a predicate-based module system, move to loader.[rs|pl]-based compilation, add support for incremental clause compilation
2021-01-30 21:07:51 -07:00
dif.pl
do not check for non-unifiability in dif:attribute_goals, which is sure to succeed, resulting in no goals being printed at top-level (#844)
2021-03-02 10:34:25 -07:00
error.pl
move to a predicate-based module system, move to loader.[rs|pl]-based compilation, add support for incremental clause compilation
2021-01-30 21:07:51 -07:00
files.pl
reflect improved determinism thanks to the improvements by @notoria
2020-12-23 00:05:29 +01:00
format.pl
ENHANCED: more readable indentation of nested disjunctions
2021-03-04 21:40:24 +01:00
freeze.pl
add appropriate meta_predicate/1 declarations
2021-02-18 20:15:04 +01:00
gensym.pl
remove vestigial prolog/ directory (#444)
2020-06-12 18:26:38 -06:00
iso_ext.pl
add copy_term_nat/2 (#795)
2021-02-22 22:39:34 -07:00
lambda.pl
adapt libraries and toplevel output to Scryer Prolog
2021-02-25 22:08:25 +01:00
lists.pl
resolve calls to tranpose_ and same_length in lists.pl (#790)
2021-02-03 16:38:46 -07:00
ops_and_meta_predicates.pl
correct comment before call meta_predicate declarations
2021-02-20 19:10:34 -07:00
ordsets.pl
remove vestigial prolog/ directory (#444)
2020-06-12 18:26:38 -06:00
os.pl
reflect improved determinism thanks to the improvements by @notoria
2020-12-23 00:05:29 +01:00
pairs.pl
replace (:) with 0 in meta-predicate declarations, remove support for (:) in meta-predicate declarations
2021-01-31 18:00:10 -07:00
pio.pl
add appropriate meta_predicate/1 declarations
2021-02-18 20:15:04 +01:00
queues.pl
remove vestigial prolog/ directory (#444)
2020-06-12 18:26:38 -06:00
random.pl
remove vestigial prolog/ directory (#444)
2020-06-12 18:26:38 -06:00
reif.pl
add meta-predicate declarations to reif library
2021-02-03 12:46:33 -07:00
sgml.pl
ADDED: load_xml/3 to load XML files from streams, files and strings.
2020-06-21 09:45:37 +02:00
si.pl
remove vestigial prolog/ directory (#444)
2020-06-12 18:26:38 -06:00
sockets.pl
collate paths as atoms in loader.pl (#778)
2021-02-05 20:18:56 -07:00
tabling.pl
restore support for tabling and delimited continuations (#779)
2021-02-17 16:18:49 -07:00
terms.pl
remove vestigial prolog/ directory (#444)
2020-06-12 18:26:38 -06:00
time.pl
replace (:) with 0 in meta-predicate declarations, remove support for (:) in meta-predicate declarations
2021-01-31 18:00:10 -07:00
uuid.pl
UUIDv4 generation
2021-02-18 22:16:24 +01:00
xpath.pl
library(format) is not used in this example
2020-06-21 09:46:05 +02:00