reading input — type
end_of_file.
on its own line to finish, or
?
for help (output shown when done)
;
next ·
Enter
stop
son
0
unify
0
fail
0
bt
0
terms
0
— infer/s
M0+
RP2040 · 264KB SRAM
heap
0%
0/192K
strings
0%
0/8K
clauses
0%
0/256
bindings
0%
0/1024
stack pk
0%
0/128
heap %
binds %
stack %
bt/son %