Я сделал следующую небольшую программу, чтобы определить, используется ли память для таких целей, как freeze(X,Goal) восстанавливается, когда X становится недоступным: %:- use_module(library(freeze)). % Ciao Prolog needs this...