как установить set_prolog_flag (stack_limit, 2_147_483_648). удвоить лимит с помощью пролога swipl - PullRequest
Новая
       15

как установить set_prolog_flag (stack_limit, 2_147_483_648). удвоить лимит с помощью пролога swipl

0 голосов
/ 07 марта 2019

Я пытаюсь использовать пролог для запуска xsd2 JSON-разговора с помощью gitmodule (https://github.com/fnogatz/xsd2json).). Когда я пытался запустить это с помощью командной строки, получаю ошибку ниже: 

C:\xsd2json-master\lib-pl>swipl -g main cli.pl -- C:\proj_xsd\ref\p1_v1.xsd
ERROR: -g main: Stack limit (1.0Gb) exceeded
ERROR:   Stack sizes: local: 1.7Mb, global: 0.7Gb, trail: 0.2Mb
ERROR:   Stack depth: 20,761,408, last-call: 100%, Choice points: 4,174
ERROR:   In:
ERROR:     [20,761,408] xsd2json:json_created('C:\proj_xsd\ref\p1_v1.xsd', [], [length:1])
ERROR:     [20,761,407] xsd2json:json___3__0__0__3('<garbage_collected>', 'C:\proj_xsd\ref\p1_v1.xsd', [le
ngth:1], <compound json/1>, <compound suspension/9>)
ERROR:     [20,760,488] xsd2json:json___3__0('C:\proj_xsd\ref\p1_v1.xsd', '<garbage_collected>', '<garbage
_collected>', '<garbage_collected>')
ERROR:     [20,760,486] xsd2json:node___6__41__1__75('<garbage_collected>', <compound ns/2>, [length:2], <compound suspension/12>, [length:32], 'C:\proj_xsd\ref\p1_v1.xsd', <compound ns/2>, schema, [length:1], _10487734, [], <compound suspension/12>)
ERROR:     [20,740,111] xsd2json:xsd_flatten_nodes('C:\proj_xsd\ref\p1_v1.xsd', [], 0, [length:1], [], [le
ngth:1|_10487820])
ERROR:
ERROR: Use the --stack_limit=size[KMG] command line option or
ERROR: ?- set_prolog_flag(stack_limit, 2_147_483_648). to double the limit.

В документе Prolog действительно говорится оstack_limit, но не говорит, как его установить.

http://www.swi -prolog.org / pldoc / man? section = memlimit

...