loop :- generator, trim_stacks, potentially_expensive_operation, stop_condition, !.
The Prolog top-level loop is written this way, reclaiming memory resources after every user query.
argument. The table below describes the Key(Value) pairs. Value can be an arithmetic integer expression. For example, to specify a 2 GB limit for the global stack, one can use:
?- set_prolog_stack(global, limit(2*10**9)).
Current settings can be retrieved with prolog_stack_property/2.
permission_erroris raised. If the limit is larger than supported, the system silently reduces the requested limit to the system limit.