scryer-prolog

http

http_open/3 with headers and data

2022-03-28 20:38:55 +02:00

serialization

use new heap term representation

2022-01-06 21:44:38 -07:00

tabling

fix various partial string bugs (copying using them in arg/3)

2022-01-06 21:44:41 -07:00

arithmetic.pl

remove number/3 from arithmetic.pl (#1170 )

2022-01-18 17:38:45 -07:00

assoc.pl

enable meta_predicate/1 declarations

2021-02-18 20:19:23 +01:00

atts.pl

use new heap term representation

2022-01-06 21:44:38 -07:00

between.pl

improve between_/3 implementation (#1186 , #1191 )

2022-01-10 18:34:25 -07:00

builtins.pl

Fix querying the values of the bounded and max_arity flags

2022-03-07 00:30:35 +00:00

charsio.pl

use must_be(chars) in read_from_chars/2 (#1305 )

2022-03-05 17:39:13 -07:00

clpb.pl

FIXED: CLP(B): weighted_maximum/3 with repeated variables

2021-03-05 18:35:19 +01:00

clpz.pl

Merge branch 'rebis-dev' into 0.9.0 release

2022-03-06 09:45:05 -07:00

cont.pl

restore support for tabling and delimited continuations (#779 )

2021-02-17 16:18:49 -07:00

crypto.pl

as --> is

2022-03-30 21:33:46 +02: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

lazily throw exceptions of dcg_body from goal-expanded phrase/{2,3} (#1244 )

2022-01-22 14:55:18 -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

improve '$skip_max_list'/4 and length/2 (#1023 , #110 )

2022-01-29 12:47:26 -07:00

files.pl

ENHANCED: use newly available must_be(chars, ...), which is very fast

2022-03-26 19:09:54 +01:00

format.pl

ADDED: format specifier ~NL to limit the number of digits per line

2022-01-10 17:52:42 +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

ENHANCED: call_nth(Goal, 0) now fails, correct error for N < 0.

2022-03-07 23:38:30 +01:00

lambda.pl

adapt libraries and toplevel output to Scryer Prolog

2021-02-25 22:08:25 +01:00

lists.pl

improve length/2 (#1325 )

2022-03-15 18:43:57 -06:00

ops_and_meta_predicates.pl

Fix (**)/2 operator type

2021-05-09 21:02:44 +01:00

ordsets.pl

improve '$skip_max_list'/4 and length/2 (#1023 , #110 )

2022-01-29 12:47:26 -07:00

os.pl

Go back and accept only list of chars

2021-10-15 17:22:15 +02: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

MODIFIED: library(charsio): read_n_chars/3 is now called get_n_chars/3

2022-01-17 20:37:55 +01:00

queues.pl

remove vestigial prolog/ directory (#444 )

2020-06-12 18:26:38 -06:00

random.pl

change domain_error(integer, ..) to type_error(integer, ..) in random.pl (#1310 )

2022-03-05 17:39:13 -07:00

reif.pl

add missing fact to beginning of tmember_t/3 (#1275 )

2022-02-11 17:25:01 -07:00

sgml.pl

use newly available get_n_chars/3 from library(charsio)

2022-02-23 00:03:36 +01:00

si.pl

remove vestigial prolog/ directory (#444 )

2020-06-12 18:26:38 -06:00

simplex.pl

ADDED: library(simplex), for solving linear programming problems.

2022-03-06 21:49:52 +01:00

sockets.pl

MODIFIED: Remove TLS-related predicates from library(sockets).

2021-12-05 17:39:22 +01: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

MODIFIED: library(charsio): read_term_from_chars/2 is now called read_from_chars/2

2022-01-17 20:21:18 +01:00

tls.pl

ADDED: library(tls), providing all predicates for TLS connections.

2021-12-05 18:16:47 +01:00

ugraphs.pl

Minor fixes

2022-01-07 19:28:07 +01:00

uuid.pl

use new heap term representation

2022-01-06 21:44:38 -07:00

xpath.pl

use seq//1 and ... //0 which are now available in library(dcgs)

2021-11-27 16:32:44 +01:00