プロローグのさまざまなデフォルト関数で存在エラーが発生し続けます（gprologを使用しています）。例えば...
| ?- assert(a(1)).
uncaught exception: error(existence_error(procedure,assert/1),top_level/0)
| ?- g_assign(GVarName, 0).
uncaught exception: error(instantiation_error,g_assign/2)
| ?- b_setval(A, 0).
uncaught exception: error(existence_error(procedure,b_setval/2),top_level/0)
何か他のものをインストールする必要がありますか?
基本的に、グローバル変数を定義する方法を見つけようとしています。このような方法が最善の方法かもしれないと思いました...
fact(List).
predicate(List) :-
...some code...,
assert(fact(List)).
そして、「グローバル変数」を呼び出すには、 を使用しますfact(List)。