friguzzi / cplint

cplint is a suite of programs for reasoning with probabilistic logic programs
Other
67 stars 14 forks source link

plcg #15

Closed friguzzi closed 4 years ago

friguzzi commented 6 years ago

http://cplint.eu/example/inference/plcg.pl crashes swish after several calls to mc_sample_arg_bar(plc(L),20,L,Chart).

friguzzi commented 4 years ago

It now gives Not enough resources: program_space

friguzzi commented 4 years ago

From Jan: This is a limit that applies to the temporary module for a swish query. It mainly prevents blowing up the system by asserting huge amounts of data. See pengines.pl It can be changed using

:- set_setting(swish:program_space, bytes).

The default is 100_000_000