Scryer Prolog
Learn
First steps/
Test page
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 terms
:- use_module(library(terms)).
No description
Browse source code
numbervars/3