rishi/scryer-prolog
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
Files
099d9aaca6509496ccb28c522659b990f42037f0
scryer-prolog/src/lib
History
Markus Triska ad8e2ad4f6 omit internal attributes in residual goals when using taut/2 
Examples:

    ?- taut(X=:=X,1).
       clpb:sat(X=:=X)
    ;  false.

    ?- taut(X=\=X,0).
       clpb:sat(X=:=X)
    ;  false.
2020-08-11 20:49:10 +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
Fixed some conversion issues
2020-08-06 11:39:55 +02:00
charsio.pl
better error handling for options
2020-07-23 00:27:31 +02:00
clpb.pl
omit internal attributes in residual goals when using taut/2
2020-08-11 20:49:10 +02:00
clpz.pl
remove vestigial prolog/ directory (#444)
2020-06-12 18:26:38 -06: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
remove vestigial prolog/ directory (#444)
2020-06-12 18:26:38 -06: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
remove vestigial prolog/ directory (#444)
2020-06-12 18:26:38 -06: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