Scryer Prolog documentation
Libraries
arithmetic
assoc
atts
between
builtins
charsio
clpb
clpz
cont
crypto
csv
dcgs
debug
diag
dif
error
ffi
files
format
freeze
gensym
http/
http_open
http_server
iso_ext
lambda
lists
ordsets
os
pairs
pio
queues
random
reif
serialization/
abnf
json
sgml
si
simplex
sockets
tabling
terms
time
tls
ugraphs
uuid
wasm
when
xpath
Module error
:- use_module(library(error)).
No description
Browse source code
must_be/2
can_be/2
instantiation_error/1
domain_error/3
type_error/3