<p>AZ-Prolog Version 9.63 (Linux/x64) GCC 5.4.0<br />
Copyright (C) SOFNEC CO., LTD. 1987-2017/06/29<br />
f(A,B):-<br />
A = {a:_|L},<br />
B = L.</p>
<p>?- A = {a:a,b:b,c:c},<br />
f(A,B),<br />
f(B,C),<br />
write(C),nl,<br />
fs_writeAVM(C).</p>
<p>%{b:b,c:c}<br />
%|~ ~| <br />
%| b:b | <br />
%| c:c | <br />
%|_ _| <br />
%yes</p>
<p>?- A = {a:a,b:b,c:c},<br />
f(A,B),<br />
f(B,B),<br />
write(B),nl,<br />
fs_writeAVM(B).<br />
%{a:_107,b:b,c:c}<br />
%Segmentation fault (コアダンプ)</p>