Happy New Year all!
ERROR: Not enough resources: table_space ^ Exception: (38) catch('$tabling':create_table(<trie>(0x1ebcc60), ret(_526782, _526784), user:move(_526782, _526784 ), evaluation:call(<closure>(move/2)(_526782, _526784))), deadlock, '$tabling':restart_tabling(<closure>(move/2), use r:move(_526782, _526784), evaluation:call(<closure>(move/2)(_526782, _526784)))) ? creep
I’m getting this error probably because I’m doing something silly and trying to table a predicate with a definition that really shouldn’t be that large. Until I can find the source of the problem and fix it at the root, how can I increase table space?
I know there is a command line option for that,
--table_space=Size, but can I do it with a directive from inside a source file?
Edit: Additionally, what predicates can I use to get information about tables, like their size or currently tabled predicates and so on?
Edit: added a bit more error context.