rishi/scryer-prolog
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
1,673 Commits 2 Branches 18 Tags
323e9c3eb3d4016991cd0da2b973747c08ab49eb
Commit Graph

1673 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Mark Thom
323e9c3eb3 refactor SystemClauseType::Open in anticipation of #614 2020-09-05 18:57:03 -06:00
Mark Thom
d677d3d2ef preface the 'spelling error' with an explainer comment (#687) 2020-09-05 18:07:58 -06:00
Mark Thom
c39b239d78 Merge pull request #696 from triska/format_distinct_variables 
FIXED: format_//2: Keep different variables distinct.
 2020-09-05 08:50:07 -06:00
Markus Triska
5f3ab823fd FIXED: format_//2: Keep different variables distinct. 
Example:

        ?- phrase(format_("~w~w", [_,_]), Ls).
        %@    Ls = "AB"
        %@ ;  false.
 2020-09-05 09:58:49 +02:00
Mark Thom
03d1da4bf2 Merge pull request #694 from triska/write_all 
FIXED: reliably write all characters when using format/3
 2020-09-02 12:52:53 -06:00
Markus Triska
78656d220b FIXED: reliably write all characters when using format/3 
This addresses #693.

Many thanks to @notoria for a brilliant test case, and the
suggestion of this correction!
 2020-09-02 19:29:04 +02:00
Mark Thom
7e7aa7992a Merge pull request #689 from matteoredaelli/patch-1 
Update README.md
 2020-08-25 12:27:13 -03:00
Matteo Redaelli
a53b4df8b6 Update README.md 
wrong link to source file dcgs.pl
 2020-08-25 17:19:45 +02:00
Mark Thom
3ba2b8ade6 Merge pull request #686 from triska/call_nth 
ADDED: Preliminary version of call_nth/2.
 2020-08-24 16:07:40 -03:00
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
Mark Thom
d3ab4b5def flatten passage of cut point B in (,)/2, (->)/2 and (;)/2 (#685, #683) 2020-08-23 22:49:10 -03:00
Mark Thom
cdeb07520f Merge pull request #682 from triska/dif_improvements 
Improvements to dif/2
 2020-08-22 20:17:32 -03:00
Markus Triska
cc77ef680d dif/2: Omit entailed residual goals, if the arguments are not unifiable. 
This addresses #135.
 2020-08-22 17:50:15 +02:00
Markus Triska
e75ebd9b6e dif/2: Succeed unconditionally if the arguments are not unifiable. 
This addresses one part of #135.
 2020-08-22 17:50:15 +02:00
Mark Thom
62c9b8390b Merge pull request #677 from notoria/clpz_mod 
Made mod stronger and addressed #675
 2020-08-15 13:55:48 -03:00
notoria
0724c044d6 Use nonterminal fd_put//3 in mod from clpz 2020-08-15 17:56:07 +02:00
notoria
bed4afe74f Simplified the code 2020-08-15 17:39:34 +02:00
notoria
d4263cc8b9 Using queue_goal//1 to correctly bind variables 2020-08-15 17:06:12 +02:00
notoria
b4b11465a1 Fixed variable bindings in mod from clpz 2020-08-15 13:37:33 +02:00
notoria
daaebc59cb Made mod stronger and addressed #675 2020-08-15 12:53:28 +02:00
Mark Thom
79a74038ac Merge pull request #674 from notoria/clpz_mod 
Improved mod in clpz
 2020-08-14 00:21:19 -03:00
notoria
314baabf1d More improvement on mod from CLP(Z) 2020-08-13 21:36:36 +02:00
notoria
a24fbb8f61 Improved mod in CLP(Z) 
This is still a work in progress.
 2020-08-13 10:33:36 +02:00
Mark Thom
32eaab0783 Merge pull request #671 from triska/clpb_restriction 
FIXED: CLP(B): Delay BDD restriction until after the instantiation.
 2020-08-12 16:59:51 -03:00
Markus Triska
e185b626bd FIXED: CLP(B): Delay BDD restriction until after the instantiation. 
This is necessary to actually take the new value into account.

Example:

    ?- sat(A*B>=C*D), A=1,B=0,C=1,D=1.
    false.

This addresses #670.
 2020-08-12 19:51:25 +02:00
Mark Thom
74dc94f6bc Merge pull request #668 from triska/xbrl 
library(sgml): Correctly parse XML leaf nodes that are not text nodes.
 2020-08-11 19:53:02 -03:00
Markus Triska
099d9aaca6 library(sgml): Correctly parse XML leaf nodes that are not text nodes. 
Example:

    ?- load_xml("<schemaRef type=\"simple\"/>", Node, []).
       Node = [element(schemaRef,[type="simple"],[])].

This is necessary for example to parse XBRL files. See #665.
 2020-08-11 21:20:33 +02:00
Mark Thom
5fa3b9f2fb Merge pull request #667 from triska/clpb_taut 
omit internal attributes in residual goals when using taut/2
 2020-08-11 15:54:34 -03:00
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
Mark Thom
8203eff47b update prolog_parser version (#657) 2020-08-08 16:29:35 -06:00
Mark Thom
ad333047d9 Merge branch 'master' of https://github.com/mthom/scryer-prolog 2020-08-08 13:12:09 -06:00
Mark Thom
6e5d2d6a36 fix bugs in PausedPrologStream (#661) 2020-08-08 13:11:09 -06:00
Mark Thom
4b610b6293 Merge pull request #656 from notoria/try_from_number 
Fixed some conversion issues
 2020-08-08 12:24:29 -03:00
Mark Thom
2bd998e82f Merge pull request #660 from triska/shorter_crypto 
Shorten and improve implementation of several cryptographic routines
 2020-08-08 12:23:40 -03:00
Markus Triska
c55cc3c472 ensure proper lengths of key and initialization vector 
This avoids crashes when using unsuitable lengths.
 2020-08-06 23:27:49 +02:00
Markus Triska
674483a4c6 remove entailed constraint 2020-08-06 23:17:08 +02:00
Markus Triska
a16f84560d use self.deref(...) (see #653) 2020-08-06 20:12:57 +02:00
Markus Triska
1b4500339e use atom_argument_to_string 2020-08-06 20:12:23 +02:00
notoria
3143468751 Fixed some conversion issues 2020-08-06 11:39:55 +02:00
Mark Thom
f627b32355 fix crash in CryptoPasswordHash (#653), conversion of Rational integers in number_chars/2 (#655) 2020-08-06 00:17:55 -06:00
Mark Thom
10ba6fb773 Merge pull request #654 from triska/aad 
ADDED: library(crypto): Support for additional authenticated data (AAD).
 2020-08-06 02:40:51 -03:00
Markus Triska
2d3f1e51ec shorten, and increase readability 2020-08-05 21:49:46 +02:00
Markus Triska
1c23336cff use "octet" as a string literal, reducing the number of arguments 2020-08-05 20:21:46 +02:00
Markus Triska
a622ffddfe ADDED: library(crypto): Support for additional authenticated data (AAD). 
Additional authenticated data can now be specified with the new
aad(Chars) option for encryption and decryption. It is authenticated,
but not encrypted.
 2020-08-05 20:09:07 +02:00
Mark Thom
79cf0c63c4 update prolog_parser to 0.8.67 (#648) 2020-08-04 23:35:10 -06:00
Mark Thom
d57a592273 unify '[]' with proper [] in atom_chars/2 (#569) 2020-08-03 19:29:53 -06:00
Mark Thom
4f15802fbc reconcile '[]' and [] (#644), solve remaining conformity issues (#648), move (-->) from dcgs.pl to builtins.pl (#649) 2020-08-02 23:35:53 -06:00
Mark Thom
357ae7a8aa Merge pull request #647 from notoria/newline 
Improved readline
 2020-07-31 18:19:12 -03:00
notoria
ac00ae4daf Improved readline 2020-07-31 21:16:33 +02:00
Mark Thom
249f034a38 Merge pull request #645 from triska/curve25519 
ADDED: library(crypto): ECDH key exchange over Curve25519 (X25519)
 2020-07-30 10:29:20 -03:00