rishi/scryer-prolog
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

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

Browse Source 
The currently available predicates for TLS-connections can be extended
with predicates to load and reason about certificates etc.
This commit is contained in:
Markus Triska
2021-12-05 16:46:52 +01:00
parent 7e8a635e7e
commit 538085169a
2 changed files with 112 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
README.md
View File

@@ -550,6 +550,8 @@ The modules that ship with Scryer Prolog are also called
ECDH key exchange over Curve25519 (X25519), authenticated symmetric
encryption with ChaCha20-Poly1305, and reasoning about elliptic curves.
* [`uuid`](src/lib/uuid.pl) UUIDv4 generation and hex representation
* [`tls`](src/lib/tls.pl)
Predicates for negotiating TLS connections explicitly.
To use predicates provided by the `lists` library, write: