Andrew Davison
Andrew Davison
``` $ scryer-prolog ?- use_module(library(freeze)). true. ?- freeze(W,write('ok')). freeze:freeze(W,write(ok)). ?- freeze(W,write('ok')), bb_put(key, W). thread 'main' panicked at src/machine/machine_state_impl.rs:70:26: index out of bounds: the len is 82173 but the index is...
``` $ cat m.pl :- module(m, [foo/0]). :- dynamic(foo/0). foo. $ scryer-prolog ?- use_module('m.pl'). true. ?- foo. true. ?- retractall(foo). error(permission_error(modify,static_procedure,foo/0),retract/1). ?- retractall(m:foo). true. ?- ``` Yap agrees with Scryer...