rishi/scryer-prolog
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
Files
79cb4cd6a55732b430e5a16ec195a9d051e78be3
scryer-prolog/src/lib
History
Markus Triska 79cb4cd6a5 ADDED: First version of call_nth/2. 
A thread-safe implementation is possible for example with
'$nb_setarg'/3 (see #390).
2020-08-24 19:29:08 +02:00
..
http
import member/2 from library(lists)
2020-06-20 19:07:43 +02:00
tabling
Enhanced the implementation
2020-07-01 13:14:12 +02:00
arithmetic.pl
remove vestigial prolog/ directory (#444)
2020-06-12 18:26:38 -06:00
assoc.pl
remove vestigial prolog/ directory (#444)
2020-06-12 18:26:38 -06:00
atts.pl
remove vestigial prolog/ directory (#444)
2020-06-12 18:26:38 -06:00
between.pl
remove vestigial prolog/ directory (#444)
2020-06-12 18:26:38 -06:00
builtins.pl
flatten passage of cut point B in (,)/2, (->)/2 and (;)/2 (#685, #683)
2020-08-23 22:49:10 -03:00
charsio.pl
better error handling for options
2020-07-23 00:27:31 +02:00
clpb.pl
FIXED: CLP(B): Delay BDD restriction until after the instantiation.
2020-08-12 19:51:25 +02:00
clpz.pl
Use nonterminal fd_put//3 in mod from clpz
2020-08-15 17:56:07 +02:00
cont.pl
remove vestigial prolog/ directory (#444)
2020-06-12 18:26:38 -06:00
crypto.pl
ensure proper lengths of key and initialization vector
2020-08-06 23:27:49 +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
reconcile '[]' and [] (#644), solve remaining conformity issues (#648), move (-->) from dcgs.pl to builtins.pl (#649)
2020-08-02 23:35:53 -06:00
debug.pl
Added library(debug)
2020-06-19 17:18:59 +02:00
diag.pl
remove vestigial prolog/ directory (#444)
2020-06-12 18:26:38 -06:00
dif.pl
dif/2: Omit entailed residual goals, if the arguments are not unifiable.
2020-08-22 17:50:15 +02:00
error.pl
ADDED: library(os), reasoning about environment variables.
2020-07-11 21:00:25 +02:00
files.pl
ADDED: path_segments/2 for portable reasoning about path components.
2020-07-19 12:32:01 +02:00
format.pl
ENHANCED: flush output for impure I/O (format/[2,3], portray_clause/1 etc.)
2020-07-25 09:49:02 +02:00
freeze.pl
remove vestigial prolog/ directory (#444)
2020-06-12 18:26:38 -06:00
gensym.pl
remove vestigial prolog/ directory (#444)
2020-06-12 18:26:38 -06:00
iso_ext.pl
ADDED: First version of call_nth/2.
2020-08-24 19:29:08 +02:00
lists.pl
remove vestigial prolog/ directory (#444)
2020-06-12 18:26:38 -06:00
ordsets.pl
remove vestigial prolog/ directory (#444)
2020-06-12 18:26:38 -06:00
os.pl
ADDED: library(os), reasoning about environment variables.
2020-07-11 21:00:25 +02:00
pairs.pl
remove vestigial prolog/ directory (#444)
2020-06-12 18:26:38 -06:00
pio.pl
ENHANCED: Read more characters at once, significantly speeding up library(pio).
2020-06-13 16:25:41 +02: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
remove vestigial prolog/ directory (#444)
2020-06-12 18:26:38 -06: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
remove vestigial prolog/ directory (#444)
2020-06-12 18:26:38 -06:00
tabling.pl
Enhanced the implementation
2020-07-01 13:14:12 +02:00
terms.pl
remove vestigial prolog/ directory (#444)
2020-06-12 18:26:38 -06:00
time.pl
remove vestigial prolog/ directory (#444)
2020-06-12 18:26:38 -06:00
xpath.pl
library(format) is not used in this example
2020-06-21 09:46:05 +02:00