Sicstus Prolog ランタイムのフロントエンドとして C プログラムがあります。そして、Cでリストを作成し、記入してPrologランタイムに渡そうとしています。私はCライブラリを見てきましたが、これをどのように行うべきかについての情報は見つかりません。これを行うのは単一の関数呼び出しではなく、組み合わせ(?)
また、これに関連するいくつかの関数呼び出しが C ライブラリにあることもわかります (SP_put_list()、SP_put_list_codes()、SP_put_list_n_bytes()、SP_put_list_n_codes() )
作成したいリストは、[leftmost,step,up,all] のように labeling/2 に渡すオプションのリストですが、実行時にこのリストを作成して入力し、Sicstus Prolog に渡したいと考えています。